Home
AllMusicListings
AllMusicTalk
MusicNews
Community
Blogs
AllMusicPages
AllMusicBookmarks
AllMusicFun
Music Auctions
Music Apparel
Music Store
|
Logique et fondements (22) Categories:
See Also:
This category in other languages:
Sites:
» Blossier, Thomas
Cours de Master recherche sur la théorie des modèles, après un cours de Master 1 logique et complexité. http://math.univ-lyon1.fr/~blossier/ » Dehornoy, Patrick
Notes de cours de logique, articles sur la théorie des ensembles et la théorie des tresses. http://www.math.unicaen.fr/~dehornoy/ » Girard, Jean-Yves
Articles et cours de théorie de la démonstration. http://iml.univ-mrs.fr/~girard/ » 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. http://www.logique-floue.com/ » La logique et ses paradoxes
Introduction aux paradoxes ensemblistes et au théorème de Gödel. http://ysagnier.free.fr/science/logique.htm » Logique et programmation
Quelques notes de cours: démonstration automatique, logique informatique, complexité. http://www.lsv.ens-cachan.fr/~goubault/cours.html » 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. http://spoirier.lautre.net/logique.htm » Qu'est-ce que la théorie des modèles
Présentation vulgarisée de quelques notions et résultats modernes en ce domaine. http://math.univ-angers.fr/~darniere/ThMod.html » Rambaud, Alexandre
Textes de séminaires d'introduction à la logique: théorie des modèles, théorie des ensembles et récursivité. http://www.logique.jussieu.fr/www.rambaud/ » Ruet, Paul
Son cours de deuxième année de Master est une introduction à la logique, à la calculabilité et à la complexité algorithmique. http://iml.univ-mrs.fr/~ruet/ » Théorie des ensembles
Présentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie. http://spoirier.lautre.net/leroy/ » Une mathématique constructive expérimentale
Fonder les mathématiques par les algorithmes. De la programmation à la logique et aux probabilités. http://pagesperso-orange.fr/mabboux/Mathematique/Informatique.htm Category Editor: spoirier
Last Updated: 2008-12-27 07:27:22
The content of this directory is based on the Open Directory and has been modified by AllMusicSearch.com editors |