Concept

Problème de la décision

Séances de cours associées (15)

Présente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.

Théorie de calcul : problèmes de comptage et de décision

Explore le comptage des ensembles infinis et les problèmes de décision, montrant les limites du calcul dans la résolution de certains problèmes indécis.

Types d'affinage : Pratique et sonorité

Explore l'aspect pratique et la solidité des types de raffinement, en mettant l'accent sur l'indexation sécuritaire et la vérification des propriétés.

Théorie de calcul : problèmes indécis

Explore l'existence de fonctions qui ne peuvent pas être calculées, illustrées par des paradoxes célèbres et le concept de problèmes indécis.

Indécidabilité: Partie 1

Introduit l'indécidabilité dans les langages récursifs et les machines Turing, montrant des langages sans reconnaissance algorithmique.

Théorie de calcul: Complexité des problèmes

Explore la théorie du calcul, les problèmes indécis, la mesure de la complexité et la classe de complexité P.

Turing Machines: Langues récursives

Explore les machines Turing, les langages récursifs, l'indécidabilité et l'élimination des symboles.

Turing Machines: Langues récursives

Couvre les machines Turing, les langages récursifs, l'indécidabilité et les exécutions infinies en théorie computationnelle.

Attribution de valeur propre dans le contrôle multivariable

Explore la formule et les méthodes d'Ackermann pour l'attribution de valeurs propres dans les systèmes de contrôle multivariables.

Théorie de calcul: Comparabilité et problèmes indécis

Explore la comptabilité et les problèmes indécis dans la théorie du calcul.

Machines de turing : Décidabilité et théorie de la récursion

Explore la décidabilité dans les machines Turing et les langages récursifs.

Théorie de calcul: Décidabilité et complexité

S'inscrit dans la théorie du calcul, couvrant la décidabilité, la complexité, P vs. NP, et les réductions.

Énumérabilité récursive: Machines de Turing et langages indécidables

Couvre les langages énumérables récursivement, les machines de Turing et la construction de langages indécidables.

L'indécidabilité : langages récursifs et machines de Turing

Explore l'indécidabilité à travers les langages récursifs, les machines de Turing et le problème de l'arrêt.

Lambda Calculus: Sémantique opérationnelle et stratégies d'évaluation

Couvre la sémantique opérationnelle et les stratégies d'évaluation dans le calcul lambda, y compris redex, les stratégies d'évaluation alternatives et les booléens de l'Église.