In Partnership with AOL
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é.
    [!]
  • 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.
    [!]
Postuler pour éditer cette catégorie
Copyright © 1998-2014 AOL Inc. Conditions d'utilisation
Visitez ces sites analogues au nôtre   Mozilla Europe | MusicMoz | Wikipedia

Dernière mise à jour : janvier 28, 2013 à 8:54:07 UTC - éditer