SÉMINAIRE DE LOGIQUE
DOCUMENTS
2008-2009
(1) Méthodes informatiques
de résolution du problème SAT / A. Monnet (26 sept.
08)
(2) Logique
et automates / R. Villemaire (5 déc. 08)
(3) La logique des partitions
selon Ellerman / M. Bélanger (5 mai 09)
http://www.ellerman.org/Davids-Stuff/Maths/Math.htm
http://arxiv.org/abs/0902.1950v1
2007-2008
(1) Va-et-vient de
Fraïssé en théorie des modèles finis / R.
Villemaire (7 fév. 08)
(2) Introduction à Albert Lautman (1908-1944) / M. Bélanger (27 fév.
08)
(3) Va-et vient de
Fraïssé : gain du fini sur l'infini. Le théorème
de préservation par homomorphismes en théorie des modèles
finis / L. Bélair (27 mars 08)
(4) Localité en logique
du premier ordre / R. Villemaire (17 avril 08)
2006-2007
(1) Théorèmes
de représentation et de dualité de Stone et logique propositionnelle
/ J.-P. Marquis (21 sept. 06)
(2) Treillis distributifs,
algèbres de Heyting, algèbres de Boole 1 /
J.-P. Marquis (5oct, 19oct 06)
(3) Treilis distributifs,
algèbres de Heyting, algèbres de Boole 2 / J.-P.
Marquis (2nov 06)
(4) Le théorème
de représentation de Stone / J.-P. Marquis (16
nov 06)
(5) Le langage des catégories
/ M. Bélanger (30 nov. 06)
(6) M.
Serfati / Les treillis de Post entre algèbres,
logiques multivalentes et catégories / (14 déc. 06) / N.B. Bibliographie seulement.
2005-2006
(2) Quelques théories qui échappent
au 1er théorème d'incomplétude de Gödel
/L. Bélair (20 oct. 05)
(3) Le
système axiomatique S, les entiers et les fonctions
représentables / L. Bélair (17
nov. 05)
(4) Récursivité : les fonctions récursives / M. Bélanger (1er
déc. 05)
(5)
Récursivité (II) / T. Nguyen (27 jan. 06)
(6) La fonction bêta
de Gödel et la représentabilité des fonctions
récursives / N. Kennedy (10 fév. 06)
(7) Arithmétisation
de la syntaxe : la numérotation de Gödel / M. Bélanger
(24 fév. 06)
(8)
Les théorèmes de messieurs Gödel, Rosser et Tarski
/ N. Kennedy (10 mars 06)
(9)
Le deuxième théorème d'incomplétude
de Gödel / N. Kennedy (31 mars 06)
1999-2000
L. van den Dries,
« Towards coordinate free model theory » (24
sept. 99)