Blossier, Thomas «
http://math.univ-lyon1.fr/~blossier/ | | Cours de master recherche sur la théorie des modèles , après un cours de master 1 logique et complexité. |
Dehornoy, Patrick «
http://www.math.unicaen.fr/~dehornoy/ | | Notes de cours de logique , articles sur la théorie des ensembles et la théorie des tresses. |
Girard, Jean-Yves «
http://iml.univ-mrs.fr/~girard/ | | Articles et cours de théorie de la démonstration. |
Introduction à la logique floue «
http://www.logique-floue.com/ | | Petite parabole militaire qui traduit l'opportunité du recours à la logique floue dans le processus de décision et de management; liens sur la logique floue. |
La logique et ses paradoxes «
http://ysagnier.free.fr/science/logique.htm | | Introduction aux paradoxes ensemblistes et au théorème de gödel. |
Logique et programmation «
http://www.lsv.ens-cachan.fr/~goubault/cours.html | | Quelques notes de cours: démonstration automatique , logique informatique , complexité. |
Logique et théorie des ensembles «
http://spoirier.lautre.net/logique.htm | | Introduction aux fondements des mathématiques , et présentation détaillée d'une théorie naïve des ensembles non traditionnelle. |
Qu'est-ce que la théorie des modèles «
http://math.univ-angers.fr/~darniere/ThMod.html | | Présentation vulgarisée de quelques notions et résultats modernes en ce domaine. |
Rambaud, Alexandre «
http://www.logique.jussieu.fr/www.rambaud/ | | Textes de séminaires d'introduction à la logique: théorie des modèles , théorie des ensembles et récursivité. |
Ruet, Paul «
http://iml.univ-mrs.fr/~ruet/ | | Son cours de deuxième année de master est une introduction à la logique , à la calculabilité et à la complexité algorithmique. |
Théorie des ensembles «
http://members.aol.com/GiblaCloni/Mathematiques/Math.htm | | Présentation axiomatique , ordinaux , cardinaux , axiome du choix , un peu de combinatoire transfinie. |
Une mathématique constructive expérimentale «
http://perso.orange.fr/mabboux/Mathematique/Informatique.htm | | Fonder les mathématiques par les algorithmes. de la programmation à la logique et aux probabilités. |
