Portail:Informatique théorique/Sujets

Calculabilité Modèles de calcul Automate fini • Automate sur les mots infinis • Transducteur fini • Automate à pile • Automate linéairement borné • Automate cellulaire • Machine de Turing • Lambda-calcul • Fonction récursive • Random access machine • Parallel random access machine  Problématiques Thèse de Church • Décidabilité • Problème de l'arrêt • Ensemble récursif • Ensemble récursivement énumérable Modifier Logique mathématique Calcul des propositions • Calcul des prédicats • Logique d'ordre supérieur • Skolémisation • Théorie des modèles • Théorie des types • Théorème d'incomplétude de Gödel • Correspondance de Curry-Howard Modifier Théorie des graphes Lexique en théorie des graphes Graphe • Arbre • Arête • Clique • Degré Familles de graphes Graphe planaire • Graphe complet • Graphe biparti • Graphe expanseur Problèmes classiques Coloration de graphe • Coloration équitable • Problème du voyageur de commerce • Triangulation de graphe • Recherche de chemin • Problème d'affectation • Codes identifiants dans les graphes • Problème de couverture de sommets • Problème SAT • Théorème de Robertson-Seymour Modifier Information et cryptologie Théorie de l'information Théorie de l'information • Combinatoire des mots • Codage de l'information • Compression de données Cryptologie Cryptologie • Cryptographie • Cryptanalyse • Chiffrement Modifier Mode de calcul Calcul séquentiel • Calcul parallèle • Ordinateur à ADN • Calculateur quantique Modifier Théorie des langages et systèmes de réécriture Théorie des langages • Compilation • Expression rationnelle • Théorème de Kleene • Grammaire formelle • Langage rationnel • Langage algébrique • Langage contextuel • Transduction rationnelle Modifier

Intelligence artificielle Généralités Intelligence artificielle • Histoire de l'intelligence artificielle • Philosophie de l'intelligence artificielle Méta-heuristique Recherche locale • Recherche tabou • Recuit simulé Algorithme évolutionniste Algorithme génétique • Programmation génétique Apprentissage automatique Réseau de neurones artificiel • Reconnaissance de formes • Apprentissage non-supervisé • Apprentissage supervisé • Classification automatique • Reconnaissance optique de caractères • Apprentissage profond Intelligence artificielle distribuée Algorithme de colonies de fourmis • Système multi-agents • Optimisation par essaims particulaires Intelligence artificielle digne de confiance Éthique de l'intelligence artificielle • Intelligence artificielle amicale • Alignement des intelligences artificielles Modifier Optimisation Théorie des jeux Algorithme minimax • Élagage alpha-bêta • Dilemme du prisonnier Optimisation combinatoire Retour sur trace (ou backtrack) • Séparation et évaluation (ou Branch & Bound) • Algorithme A* • Programmation par contraintes Recherche opérationnelle Optimisation linéaire : Algorithme du simplexe • Branch and cut Théorie des graphes : Algorithme de Dijkstra • Algorithme de Kruskal • Algorithme de Prim Modifier Sémantique des programmes Sémantique dénotationnelle • Sémantique axiomatique • Sémantique opérationnelle • Sémantique des langages de programmation Modifier Algorithmique Théorie de la complexité Théorème de Cook • Réduction polynomiale • Problèmes NP-complet Paradigmes algorithmique Diviser pour régner • Algorithme glouton • Programmation dynamique • Algorithme probabiliste • Algorithme génétique • Heuristique Problèmes algorithmiques Théorie des graphes • Géométrie algorithmique • Structure de données • Optimisation Modifier