Directory of Logique et fondements Resources

Home > World > Français > Sciences > Mathématiques > Logique et fondements

Sites consacrés à logique et aux fondements des mathématiques, jusqu'à l'informatique théorique et aux questions de calculabilité et de complexité.

Subcategories

• Centres de recherche
• Philosophie de la logique

Resources in This Category

• 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.

• 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 à la théorie des ensembles, suivant une approche approfondie différente de la tradition.

• 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.

• 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://spoirier.lautre.net/leroy/
  Présentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie.

• Une mathématique constructive expérimentale

  http://pagesperso-orange.fr/mabboux/Mathematique/Informatique.htm
  Fonder les mathématiques par les algorithmes. De la programmation à la logique et aux probabilités.

Related Categories

• Home > World > Français > Sciences > Informatique

Other Languages

• allemand
• espagnol
• italien
• japonais
• polonais
• russe
• anglais

 

Home > World > Français > Sciences > Mathématiques > Logique et fondements

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us