MetaDirectory
Voir également :
| Cette catégorie en d'autres langues : | ||||||||
| ||||||||
- Blossier, Thomas
Cours de Master recherche sur la théorie des modèles, après un cours de Master 1 logique et complexité. - Dehornoy, Patrick
Notes de cours de logique, articles sur la théorie des ensembles et la théorie des tresses. - Girard, Jean-Yves
Articles et cours de théorie de la démonstration. - 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. - Logique et programmation
Quelques notes de cours: démonstration automatique, logique informatique, complexité. - La logique et ses paradoxes
Introduction aux paradoxes ensemblistes et au théorème de Gödel. - 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. - Une mathématique constructive expérimentale
Fonder les mathématiques par les algorithmes. De la programmation à la logique et aux probabilités. - Qu'est-ce que la théorie des modèles
Présentation vulgarisée de quelques notions et résultats modernes en ce domaine. - Rambaud, Alexandre
Textes de séminaires d'introduction à la logique: théorie des modèles, théorie des ensembles et récursivité. - Ruet, Paul
Son cours de deuxième année de Master est une introduction à la logique, à la calculabilité et à la complexité algorithmique.
|