Cours de Pierre Lescanne

DM 1

• Une version de l'énoncé est disponible en ps, en ps.gz, et en pdf.
• Une version du rapport est disponible en ps, en ps.gz, et en pdf.
• Une version des éléments de réponse est disponible en ps, en ps.gz, et en pdf.

Cours

Thèmes : Logique de Hilbert, logique minimale

• Une du cours d'introduction est disponible tex, en ps, en ps.gz, et en pdf.
• Une version du cours sur Hilbert est disponible en tex, en ps, en ps.gz et en pdf.
• Une version du cours de logique naturelle est disponible en tex, en ps, en ps.gz et en pdf.
• Quelques exos de logique minimale sont disponibles en ps, ps.gz et en pdf.

• Une version du cours d'intro au lambda-calcul est disponible en tex, en ps, en ps.gz, et en pdf.
• Une version du cours de confluence (lambda-calcul) est disponible en tex, en ps, en ps.gz et en pdf.
• Une version du cours de types (lambda-calcul) est disponible en tex, en ps, en ps.gz, et en pdf.
• Quelques exercices de lambda-calcul sont disponibles ici : exos1.ps, exos1.ps.gz, exos1.pdf et ici :exos2.ps, exos2.ps.gz, exos2.pdf

• Une version du cours est disponible en ps, en ps.gz, et en pdf.
• Un problème sur les modèles de Kripke est disponible : l' énoncé en ps, en ps.gz, et en pdf et aussi une proposition de correction en ps, en ps.gz, et en pdf.

• Une version du (dernier) cours est disponible en tex, en ps, en ps.gz, et en pdf.

Cours de Odile Millet-Botta

Un petit théorème en DM !

• Une version du théorème de compacité est disponible en ps, en ps.gz, et en pdf.

Quelques (longs) résumés de cours réalisés par mes soins...

• Une version du résumé de cours de Logique propositionnelle classique : séquents et méthode de résolution estquents et méthode de résolution est disponible en ps, en ps.gz, et en pdf.
• Une version du résumé de cours de Logique de Hilbert : une rapide introduction est disponible en ps, en ps.gz, et en pdf.
• Une version du résumé de cours de Calcul des prédicats : introduction et méthode des séquents est disponible en ps, en ps.gz, et en pdf.

SUPER ! Idéal pour les révisions, mes fiches personnelles et les exams 00/01

• Une version de l'essentiel en lambda calcul est disponible en ps, en ps.gz, et en pdf.
• Une version du résumé des modèles de Kripke est disponible en ps, en ps.gz, et en pdf.
• Une version des méthodes (logiques minimale, intuitionniste, propositionnelle), c'est-à-dire une compilation des deux cours est disponible en ps, en ps.gz, et en pdf.
• Le partiel 2000-2001 ! Voici une partie du partiel de logique (déc. 2000) : partiel01.ps.
• L'exam 2000-20001 ! Voici une partie de l'examen du 19 janvier 2001 : examen01.ps.