Sites consacrés à logique et aux fondements des mathématiques, jusqu'à l'informatique théorique et aux questions de calculabilité et de complexité.
Subcategories 2
Related categories 1
Sites 10
- Girard, Jean-Yves Articles et cours de théorie de la démonstration.
- Dehornoy, Patrick Notes de cours de logique, articles sur la théorie des ensembles et la théorie des tresses.
- Logique et programmation Quelques notes de cours: démonstration automatique, logique informatique, complexité.
- Ruet, Paul Son cours de deuxième année de Master est une introduction à la logique, à la calculabilité et à la complexité algorithmique.
- Qu'est-ce que la théorie des modèles Présentation vulgarisée de quelques notions et résultats modernes en ce domaine.
- Logique et théorie des ensembles Introduction aux fondements des mathématiques et à la théorie des ensembles, suivant une approche approfondie différente de la tradition.
- Blossier, Thomas Cours de Master recherche sur la théorie des modèles, après un cours de Master 1 logique et complexité.
- 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.
- Une mathématique constructive expérimentale Fonder les mathématiques par les algorithmes. De la programmation à la logique et aux probabilités.
- Théorie des ensembles Présentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie.