annuaire de référence
ANNUAIRE

Catégories :  Mathématiques > Logique et fondements

12>

 Blossier, Thomas
Mathématiques - Logique et fondements

Cours de Master recherche sur la théorie des modèles, après un cours de Master 1 logique et complexité.

 Dehornoy, Patrick
Mathématiques - Logique et fondements

Notes de cours de logique, articles sur la théorie des ensembles et la théorie des tresses.

 Girard, Jean-Yves
Mathématiques - Logique et fondements

Articles et cours de théorie de la démonstration.

 Introduction à la logique floue
Mathématiques - Logique et fondements

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
Mathématiques - Logique et fondements

Introduction aux paradoxes ensemblistes et au théorème de Gödel.

 Logique et programmation
Mathématiques - Logique et fondements

Quelques notes de cours: démonstration automatique, logique informatique, complexité.

 Logique et théorie des ensembles
Mathématiques - Logique et fondements

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
Mathématiques - Logique et fondements

Présentation vulgarisée de quelques notions et résultats modernes en ce domaine.

 Rambaud, Alexandre
Mathématiques - Logique et fondements

Textes de séminaires d'introduction à la logique: théorie des modèles, théorie des ensembles et récursivité.

 Ruet, Paul
Mathématiques - Logique et fondements

Son cours de deuxième année de Master est une introduction à la logique, à la calculabilité et à la complexité algorithmique.

12>