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

Catégories : 2

Voir également : 1

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é.
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.
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.
Ruet, Paul
Son cours de deuxième année de Master est une introduction à la logique, à la calculabilité et à la complexité algorithmique.
Théorie des ensembles
Présentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie.

Cette catégorie en d’autres langues : 7

[Newton_Mozilla]
Dernière mise à jour :
août 23, 2014 à 13:35:06 UTC
Sciences
Boutiques en ligne
Société
Sports
Toutes les langues
Arts
Commerce et économie
Informatique
Jeux
Santé
Maison
Actualité
Loisirs
Références
Régional