Pages qui pointent vers « Informatique théorique »
Aller à la navigation
Aller à la recherche
Les pages ci-dessous contiennent un lien vers Informatique théorique :
Affichage de 50 éléments.
- Hiérarchie de Chomsky (← liens)
- Théorie des graphes (← liens)
- Théorie des catégories (← liens)
- Logique (← liens)
- Logarithme (← liens)
- Monoïde (← liens)
- Tresse (mathématiques) (← liens)
- Automate fini (← liens)
- Déterminisme (← liens)
- Automatique (← liens)
- Machine de Turing (← liens)
- Treillis (ensemble ordonné) (← liens)
- Théorie de la calculabilité (← liens)
- Arbre AVL (← liens)
- Problème SAT (← liens)
- Problème du voyageur de commerce (← liens)
- Problème de décision (← liens)
- Théorème de Rice (← liens)
- Problème de l'arrêt (← liens)
- Système de transition d'états (← liens)
- Ordre partiel complet (← liens)
- Sémantique des langages de programmation (← liens)
- Suite de Prouhet-Thue-Morse (← liens)
- Grammaire non contextuelle (← liens)
- Nombre de Motzkin (← liens)
- Correspondance de Curry-Howard (← liens)
- Théorème de Kleene (← liens)
- Automate cellulaire (← liens)
- Complexité de Kolmogorov (← liens)
- Réduction polynomiale (← liens)
- Lambda (← liens)
- Optimisation linéaire en nombres entiers (← liens)
- Réécriture (informatique) (← liens)
- Propriété de Church-Rosser (← liens)
- Fonction semi-calculable (← liens)
- Arbre bicolore (← liens)
- Marcel-Paul Schützenberger (← liens)
- Problème du stable maximum (← liens)
- Fonction booléenne (← liens)
- Algorithme d'approximation (← liens)
- Logique linéaire (← liens)
- Problèmes du prix du millénaire (← liens)
- Domaine (← liens)
- Automate d'arbres (← liens)
- Automate à pile (← liens)
- Théorie des automates (← liens)
- Bisimulation (← liens)
- Préordre de simulation (← liens)
- Logarithme itéré (← liens)
- Théorème de Cook (← liens)