03/01/2010
Séminaire d'introduction à la logique
Quelques mots sur le séminaire d'introduction à la logique...
Du 3 octobre 2001 au 9 janvier 2002, a eu lieu à l' Institut Fourier de Grenoble un cours d'introduction à la logique.
Les exposants, hormis Alexandre Rambaud, étaient Benoît Mariou , Abderezak Ould Houcine , Julien Page .
Cette formation accélérée avait pour but de familiariser l'auditoire avec les principaux outils de la logique.
Ce projet était soutenu par l' Ecole Doctorale de Grenoble .
Pour plus de renseignements...
Pour ceux qui veulent les cours...
Cours du mercredi 3 octobre 2001, exposé par Benoît Mariou
Théorie des modèles : 1ère partie
Cours du jeudi 11 octobre 2001, exposé par Benoît Mariou
Théorie des modèles : 2ème partie
Cours du mercredi 17 octobre 2001, exposé par Julien Page
Théorie des ensembles : 1ère partie
Cours du mercredi 24 octobre 2001, exposé par Julien Page
Théorie des ensembles : 2ème partie
Cours intégral des 2 séances (version corrigée le 25102001) :
version dvi
version ps
version pdf
Cours du mercredi 7 novembre 2001, exposé par Alexandre Rambaud
Théorie des ensembles : 3ème partie
Cours du 7 novembre :
version dvi
version ps
version pdf
Cours du mercredi 14 novembre 2001, exposé par Alexandre Rambaud
Théorie des modèles : 3ème partie
Cours du 14 novembre :
Version dvi
Version ps
Version pdf
Cours du jeudi 22 novembre 2001, exposé par Benoît Mariou
Théorie des modèles : 4ème partie
Cours intégral des séances de "Théorie des modèles 1, 2 et 4" (version corrigée le 29112001) :
version dvi.gz
version ps.gz
version pdf.gz
Cours du mercredi 28 novembre 2001, exposé par Julien Page
Théorie des ensembles : 4ème partie
Cours du 28 novembre :
version dvi
version ps
version pdf
Cours du mercredi 5 décembre 2001, exposé par Abderezak Ould Houcine
Récursivité : 1ère partie
Cours du 5 décembre :
version dvi
version ps
version pdf
Cours du mercredi 12 décembre 2001, exposé par Alexandre Rambaud
Récursivité : 2ème partie
Cours du 12 décembre :
version dvi
version ps
version pdf
Cours du mercredi 19 décembre 2001, exposé par Abderezak Ould Houcine
Récursivité : 3ème partie
Cours du 19 décembre :
Cours du mercredi 9 janvier 2002, exposé par Abderezak Ould Houcine
Récursivité : 4ème partie
Source : http://www.logique.jussieu.fr/~rambaud/archives-grenoble....
09:46 Publié dans Séminaire d'introduction à la logique | Lien permanent | Commentaires (0) | Tags : séminaire d'introduction à la logique | | del.icio.us | | Digg | Facebook