Search:
Go
English
Deutsch
Français
Japanese
Chinese Simplified
Chinese Traditional
Korean
Russian
Arabic
Česky
Greek
Italiano
Afrikaans
Aragonés
Armenian
Asturianu
Azerbaijani
Bahasa Indonesia
Bahasa Melayu
Bangla
Bashkir
Belarusian
Bosanski
Brezhoneg
Bulgarian
Català
Cymraeg
Dansk
Eesti
Español
Esperanto
Euskara
Frysk
Furlan
Føroyskt
Gaeilge
Gàidhlig
Galego
Gujarati
Hebrew
Hindi
Hrvatski
Interlingua
Íslenska
Kannada
Kaszëbsczi
Kazakh
Kiswahili
Kurdî
Kyrgyz
Latviski
Lëtzebuergesch
Lietuvių
Lingua Latina
Magyar
Makedonski
Marathi
Nederlands
Nordfriisk
Norsk
O'zbekcha
Occitan
Ossetian
Persian
Polski
Português
Punjabi Gurmukhi
Română
Rumantsch
Sardu
Seeltersk
Shqip
Sicilianu
Sinhala
Slovensko
Slovensky
Srpski
Suomi
Svenska
Tagalog
Taiwanese
Tamil
Tatarça
Telugu
Thai
Tiếng Việt
Türkçe
Türkmençe
Ukrainian
Urdu
Uyghurche
DMOZ Internet Directory
Presented by
DMOZLive.com
Home
About
Submit Site
Tweet
Home
World
Français
Sciences
Mathématiques
Logique et fondements
19 Sites
Sites consacrés à logique et aux fondements des mathématiques, jusqu'à l'informatique théorique et aux questions de calculabilité et de complexité.
Categories
Centres de recherche
9 Sites
Sites
[ Submit ]
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.
Click
[ Submit ]
above to Add a New Site, Update a Site, or Remove a Site from this Category.
See Also
Informatique
World : Français : Sciences
70 Sites
Also Available in These Languages
allemand
-
espagnol
-
italien
-
japonais
-
polonais
-
russe
This directory is made available through a Creative Commons Attribution license from the
DMOZ Organization.