Ok

En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies. Ces derniers assurent le bon fonctionnement de nos services. En savoir plus.

03/01/2010

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

Page des mini-cours

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 :

version ps
version pdf


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

Récursivité : 2ème partie

Cours du 25 mars :

version dvi
version ps
version pdf


Cours du lundi 8 avril 2002, exposé par Julien Page

Théorie des ensembles : 1ère partie

Cours du 8 avril :

version dvi
version ps
version pdf


Cours du lundi 29 avril 2002, exposé par Julien Page

Théorie des ensembles : 2ème partie

Cours du 29 avril :

version dvi
version ps
version pdf


Cours du lundi 6 mai 2002, exposé par Alexandre Rambaud

Théorie des ensembles : 3ème partie

Cours du 6 mai :

version dvi
version ps
version pdf


Cours du lundi 13 mai, exposé par Abderezak Ould Houcine

Récursivité : 3ème partie

Cours du 13 mai :

version ps
version pdf


Cours du lundi 27 mai, exposé par Abderezak Ould Houcine

Récursivité : 4ème partie