Mode de démonstration
Le mode de démonstration vous permet de tester les fonctionnalités de consultation des favoris uniquement.
Il n'est pas possible de modifier les dossiers ou les liens qu'ils contiennent.
Pas de tags
Cours de Master recherche sur la théorie des modèles, après un cours de Master 1 logique et complexité.
Pas de commentaire
Pas de tags
Notes de cours de logique, articles sur la théorie des ensembles et la théorie des tresses.
Pas de commentaire
Pas de tags
Articles et cours de théorie de la démonstration.
Pas de commentaire
Pas de tags
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.
Pas de commentaire
Pas de tags
Quelques notes de cours: démonstration automatique, logique informatique, complexité.
Pas de commentaire
Pas de tags
Introduction aux fondements des mathématiques et à la théorie des ensembles, suivant une approche approfondie différente de la tradition.
Pas de commentaire
Pas de tags
Présentation vulgarisée de quelques notions et résultats modernes en ce domaine.
Pas de commentaire
Pas de tags
Son cours de deuxième année de Master est une introduction à la logique, à la calculabilité et à la complexité algorithmique.
Pas de commentaire
Pas de tags
Présentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie.
Pas de commentaire
Pas de tags
Fonder les mathématiques par les algorithmes. De la programmation à la logique et aux probabilités.
Pas de commentaire
Les sites proposés dans cette version de démonstration proviennent du répertoire de l'Open Project Directory
Aidez à la réalisation du plus grand répertoire édité par les humains sur l'internet.