Programmation et Logique

Calendrier (fichier .ics.)

Lien vers le cours de 2006, 2008, 2009, 2010.

Le cours de Logique et Théorie du Calcul de Paul Ruet, qui se trouve ici (accès restreint).
Chapitre sur la logique du premier ordre : 3.1, 3.2, 3.3.
Chapitre sur les Machines de Turing : 2.1, 2.2, 2.3, 2.5, 2.6, 2.7.
[BGG] le livre The Classical Decision Problem, par Börger, Grädel et Gurevich. Pages 18-23.
Le livre Dynamic Logic : chapitres 3.3, 3.7, 4, 5, 6.1 et 6.2. A vous de compléter la lecture des chapitres 7 et 8.
Le chapitre 1 du livre Infinite words.
Vos notes de cours (pour le mu-calcul, la logique monadique du II ordre, et l'arithmétique de Pressburger).

Comment le cours est évalué ?
Voici la formule :
(2examen + contrôle-continu)/3