Cite Mag > / Français / Sciences / Mathématiques / Logique et fondements /
La logique et ses paradoxes
Introduction aux paradoxes ensemblistes et au théorème de Gödel. (infos)Girard, Jean-Yves
Articles et cours de théorie de la démonstration. (infos)
Rambaud, Alexandre
Textes de séminaires d'introduction à la logique: théorie des modèles, théorie des ensembles et récursivité. (infos)
Dehornoy, Patrick
Notes de cours de logique, articles sur la théorie des ensembles et la théorie des tresses. (infos)
Théorie des ensembles
Présentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie. (infos)
Logique et programmation
Quelques notes de cours: démonstration automatique, logique informatique, complexité. (infos)
Ruet, Paul
Son cours de deuxième année de Master est une introduction à la logique, à la calculabilité et à la complexité algorithmique. (infos)
Qu'est-ce que la théorie des modèles
Présentation vulgarisée de quelques notions et résultats modernes en ce domaine. (infos)
Logique et théorie des ensembles
Introduction aux fondements des mathématiques, et présentation détaillée d'une théorie naïve des ensembles non traditionnelle. (infos)
Blossier, Thomas
Cours de Master recherche sur la théorie des modèles, après un cours de Master 1 logique et complexité. (infos)
