Directory: Top/World/Français/Sciences/Mathématiques/Logique_et

Top / World / Français / Sciences / Mathématiques / Logique_et_fondements /

Girard, Jean-Yves
Articles et cours de théorie de la démonstration.
http://iml.univ-mrs.fr/~girard/
Univ-mrs.fr ~ Site Info Whois Trace Route RBL Check

Rambaud, Alexandre
Textes de séminaires d'introduction à la logique: théorie des modèles, théorie des ensembles et récursivité.
http://www.logique.jussieu.fr/www.rambaud/
Jussieu.fr ~ Site Info Whois Trace Route RBL Check

Dehornoy, Patrick
Notes de cours de logique, articles sur la théorie des ensembles et la théorie des tresses.
http://www.math.unicaen.fr/~dehornoy/
Unicaen.fr ~ Site Info Whois Trace Route RBL Check

Logique et programmation
Quelques notes de cours: démonstration automatique, logique informatique, complexité.
http://www.lsv.ens-cachan.fr/~goubault/cours.html
Ens-cachan.fr ~ Site Info Whois Trace Route RBL Check

Ruet, Paul
Son cours de deuxième année de Master est une introduction à la logique, à la calculabilité et à la complexité algorithmique.
http://iml.univ-mrs.fr/~ruet/
Univ-mrs.fr ~ Site Info Whois Trace Route RBL Check

Qu'est-ce que la théorie des modèles
Présentation vulgarisée de quelques notions et résultats modernes en ce domaine.
http://math.univ-angers.fr/~darniere/ThMod.html
Univ-angers.fr ~ Site Info Whois Trace Route RBL Check

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.
http://spoirier.lautre.net/logique.htm
Lautre.net ~ Site Info Whois Trace Route RBL Check

Blossier, Thomas
Cours de Master recherche sur la théorie des modèles, après un cours de Master 1 logique et complexité.
http://math.univ-lyon1.fr/~blossier/
Univ-lyon1.fr ~ Site Info Whois Trace Route RBL Check

Introduction à la logique floue
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.
http://www.logique-floue.com/
Logique-floue.com ~ Site Info Whois Trace Route RBL Check

La logique et ses paradoxes
Introduction aux paradoxes ensemblistes et au théorème de Gödel.
http://ysagnier.free.fr/science/logique.htm
Free.fr ~ Site Info Whois Trace Route RBL Check