Contents  > World  > Français  > Sciences  > MathĂ©matiques  > Logique et fondements

Voir également :

• World: Français: Sciences: Informatique  (96)

Cette catégorie en d'autres langues :
	allemand  (8)   anglais  (782)   espagnol  (9)   italien  (4)   japonais  (5)   polonais  (11)   russe  (3)

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/

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/

Girard, Jean-Yves Articles et cours de théorie de la démonstration. http://iml.univ-mrs.fr/~girard/

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 et programmation Quelques notes de cours: démonstration automatique, logique informatique, complexité. http://www.lsv.ens-cachan.fr/~goubault/cours.html

La logique et ses paradoxes Introduction aux paradoxes ensemblistes et au théor?me de Gödel. http://ysagnier.free.fr/science/logique.htm

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

Une mathématique constructive expérimentale Fonder les mathématiques par les algorithmes. De la programmation ? la logique et aux probabilités. http://pagesperso-orange.fr/mabboux/Mathematique/Informatique.htm

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

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/

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/

Théorie des ensembles Présentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie. http://spoirier.lautre.net/leroy/