Logique 2017-2018

TD de Logique

Logique - L3 ENS Paris-Saclay

Le cours de logique a eu lieu du 24 janvier au 24 mai 2018. Vous trouverez sur leur page web respective les notes de cours d'Hubert Comon et de Gilles Dowek

• 25 janvier : Calcul propositionnel. Énoncé
• 1^er février : Calcul des séquents et déduction naturelle. Énoncé
• 8 février : Forme clausale et résolution. Énoncé
• 15 février : Calcul des prédicats et déduction naturelle. Énoncé
• 22 février : Calcul des prédicats et déduction naturelle. Énoncé
• 8 mars : Exemples de théories. Énoncé
• 15 mars : Théorème de Church. Énoncé
• 29 mars : Recherche de preuves. Énoncé
• 5 avril : Recherche de preuves et résolution. Énoncé
• 12 avril : TD machine : Recherche de preuves et résolution. fichier à compléter et une première version complétée
• 3 mai : Logique intuitioniste. Énoncé
• 17 mai : Jeux d'Ehrenfeucht-Fraïssé. Énoncé
• 23 mai : Synthèse Énoncé

Le premier DM à rendre le jeudi 15 février et son corrigé.
Le deuxième DM à rendre le mercredi 9 mai et son corrigé.

À propos du LSV

• Actualités
• Membres
• Recherche
• Séminaires
• Enseignement
• Contact