Séminaire d'introduction à la logique (Paris) : Mathématique

D	L	M	M	J	V	S
					1	2
3	4	5	6	7	8	9
10	11	12	13	14	15	16
17	18	19	20	21	22	23
24	25	26	27	28	29	30

« Séminaire d'introduction à la logique | Page d'accueil | Fondements des mathématiques »

03/01/2010

Séminaire d'introduction à la logique (Paris)

Quelques mots sur le séminaire d'introduction à la logique...

Du 4 mars 2002 au 10 juin 2002, a eu lieu à Paris 6 et Paris 7 sur le site de Chevaleret un cours d'introduction à la logique. Les exposants étaient hormis moi, Abderezak Ould Houcine et Julien Page .

Cette formation accélérée, destinée à des doctorants ainsi qu'à tout mathématicien intéressé, avait pour but de familiariser l'auditoire avec les principaux outils de la logique.

Ce projet était proposé dans le cadre des formations de l' Ecole Doctorale de Paris .

Je tiens à remercier Messieurs Lascar , directeur de l'équipe de logique de Paris 7 et Maday, directeur de l'école doctorale de Paris, pour leur soutien et leurs encouragements.
Des remerciements tout particulier à Jean-Pierre Ressayre et Benoît Sanchez pour leur article, à Richard Lassaigne pour ses conseils et finalement à tous les participants.
Enfin, pour finir, je tiens personnellement à remercier Houcine et Julien, pour avoir accepté de se lancer dans cette aventure et Marie, pour tout...

Pour ceux qui veulent les cours...

Cours du lundi 4 mars 2002, exposé par Alexandre Rambaud

Théorie des modèles : 1ère partie

Cours du 4 mars :

version dvi
version ps
version pdf

Cours du lundi 11 mars 2002, exposé par Julien Page

Théorie des modèles : 2ème partie

Cours du 11 mars :

version dvi
version ps
version pdf

Cours du lundi 18 mars 2002, exposé par Abderezak Ould Houcine

Récursivité : 1ère partie

Cours du 18 mars :