Turing-complet

Science formelle
Informatique théorique
Théorie des langages de pro...
Sémantique des langages de ...

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (18)

Connectez-vous pour filtrer par séance de cours

Page 2 sur 2

Automatiser les preuves logiques de premier ordre en utilisant la résolution

Couvre la syntaxe logique de premier ordre, la sémantique, la skolémisation, la résolution et les transformations de formes normales.

Halting Problem : des problèmes insolubles

Explore l'insolvabilité du problème d'arrêt dans les algorithmes et les limites des procédures dans la détermination de l'arrêt du programme.

Théorie de la calculabilité et problème d'arrêt

Couvre la théorie de la calculabilité et le problème de l'arrêt dans les algorithmes.

Sans titre

Halting Problem : des problèmes insolubles

Explore le problème de l'arrêt, démontrant son insolvabilité et les limites des algorithmes.

Vérification de type et reconstruction: équations et unification

S'intéresse à la vérification de type, à la reconstruction, aux équations, à l'unification, au système Hindley/Milner, au polymorphisme et aux principaux types.

É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.

Technologies pour la société démocratique

Explore la blockchain, les contrats intelligents, la gouvernance décentralisée et les défis auxquels font face des technologies comme les OAD.