Repertoire ODP des sites mathematiques 
(6) |
- 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.
|
|
|
Fiches de maths
Forum de maths
Encyclopédie
Annuaire
Outils
Jeux
Ce site
Nouveau
Livre d'or
Newsletter
île des maths
île de la physique
