Logique
Cette page contient quelques cours de Logique, des r�sum�s,
ainsi que des exercices, et un dm.
Le cours est divis� en deux parties, il n'y a pas de TD en tant que
tel.
Cours de Pierre Lescanne
L'objet de ce cours est bien d�taill�e sur la page de :
Pierre Lescanne.
DM 1
Th�mes : Inductions, ordres, fermetures transitives
- 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
Ces versions de cours proviennent d'une compilation des transparents de Pierre Lescanne.
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.
Th�me : Lambda calcul
- 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
Th�me : Mod�les de Kriple
- 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.
Th�me : Logique classique
- 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 !
Th�me : Logique propositionnelle
- 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.