Logique

Cours de L3 à l'ENS Cachan, édition 2015-2016.

Cours: David Baelde et Gilles Dowek.

Travaux dirigés: Jérémy Dubut et Lucca Hirschi.

Cette page contient le contenu relatif aux cours donnés par David Baelde seulement. Cliquer sur les noms des autres intervenants pour accéder aux contenus relatifs.

Cours

• Déduction naturelle intuitionniste, notion de détour et normalisation (faible) de preuves, propriété du témoin: pas de notes de cours
• Sémantique de Kripke, correction et complétude: notes de cours (en anglais)
• Mise en forme clausale: notes de cours
• Stratégies de résolution
• BDDs: notes de cours
• Théories décidables: notes de cours (H. Comon)
• Jeux de Ehrenfeucht-Fraissé: notes de cours

Devoir

Devoir à la maison sur la logique de Gödel-Löb, à rendre le 14 avril en TD (ou par mail au TD-man): énoncé, corrigé.