Semestre 7 – Logique et modèles de calcul

Objectifs

Fournir de bonnes connaissances en logique du point de vue de la modélisation et de la construction de preuves et de présenter les fondements de la calculabilité et de la décidabilité.

Contenu pédagogique de l’UE

Logique du premier ordre : 8h CM et 8h TD
Preuves – résolution : 8h CM et 8h TD
Modèles de calcul et décidabilité : 8h CM et 8h TD

  • Logique du premier ordre classique.
  • Modèles et systèmes de preuve (séquents, déduction naturelle). Méthodes de preuve.
  • Résolution (concepts, clauses, stratégies) et applications (recherche de preuves et programmation logique).
  • Fonctions récursives, machines de Turing, décidabilité. Liens entre les modèles de calcul.