Top > World > Français > Sciences > Mathématiques > Logique et fondements

Voir également :

• World: Français: Sciences: Informatique  (84)

Cette catégorie en d'autres langues :
	allemand  (9)   anglais  (820)   espagnol  (9)   italien  (4)   japonais  (5)   russe  (4)

» 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.

» Théorie des ensembles - Présentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and may have been modified by clixShare