Séminaire d'introduction à la logique

 

Page des mini-cours

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 :

version ps

 

---

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....