Master 1ère année : cours de logique
Le cours de soutien pour l'examen de rattrapage aura bien lieu mardi 6 juin
de 10h à 12h comme prévu initialement. Rendez-vous à l'IML (bureau 224).
Voici une feuille d'exos sur les fonctions primitive
récursives et récursives que m'a gracieusement donnée Marie-Renée Fleury
(pour ceux que cela intéresse, voici le source
LaTeX). Beaucoup de ces exos ont déjà été traités en cours mais c'est
toujours une bonne chose que de savoir les refaire.
Références bibliographiques
On pourra consulter les (chapitres des) livres suivants, comme compléments de
cours et d'exos :
- Logique mathématique (tomes I et II), René Cori et Daniel Lascar,
Masson, 1993 ; chapitres I.3 (calcul des prédicats) et II.5
(récursivité).
- Mathématiques de l'informatique, Patrick Dehornoy,
Dunod, 2000 ; chapitres 11 (logique du premier ordre) et 8 (fonctions
récursives).
- Introduction à la logique, René David Karim Nour et Christophe
Raffali, Dunod, 2001 ; début du chapitre 1.