Home
Music_Metasearch
Music Top Sites
Music Store

AllMusicListings
Concert Listings
Concert Tickets

AllMusicTalk
Chat Rooms
Message Boards

MusicNews
Pop Music News
Pop Music Reviews
Music Business
MP3 News

Community Blogs
Free Member Blogs

AllMusicPages
Free Web Pages

AllMusicBookmarks
Your Bookmarks

AllMusicFun
Musical Postcards
Relationship Test
Tarot Readings
Numerology

Music Auctions
Auctions
Classifieds

Music Apparel
AllMusicSearch Apparel

Music Store
MP3 Players
Audio Equipment
MP3 Software

Musical Instruments

Music Books
Music Magazines

Music T-Shirts

Alternative Rock
Blues
Broadway & Vocal
Children's
Christian & Gospel
Classic Rock
Classical
Country
Dance & DJ
Folk
Hard Rock & Metal
International
Jazz
Latin Music
Miscellaneous
New Age
Opera & Vocal
Pop
R&B
Rap & Hip-Hop
Rock
Soundtracks

Music Videos
Music DVDs

AllMusicSearch Music Directory
Web Directory
AllMusicSearch.com Music Guide

Logique et fondements (22)

Categories:

See Also:
This category in other languages:

Allemand, Espagnol, Italien, Japonais, Polonais, Russe

Sites:

http://math.univ-lyon1.fr/~blossier/
» Blossier, Thomas Open in a new browser window
   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/
http://www.math.unicaen.fr/~dehornoy/
» Dehornoy, Patrick Open in a new browser window
   Notes de cours de logique, articles sur la théorie des ensembles et la théorie des tresses.
   http://www.math.unicaen.fr/~dehornoy/
http://iml.univ-mrs.fr/~girard/
» Girard, Jean-Yves Open in a new browser window
   Articles et cours de théorie de la démonstration.
   http://iml.univ-mrs.fr/~girard/
http://www.logique-floue.com/
» Introduction à la logique floue Open in a new browser window
   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/
http://ysagnier.free.fr/science/logique.htm
» La logique et ses paradoxes Open in a new browser window
   Introduction aux paradoxes ensemblistes et au théorème de Gödel.
   http://ysagnier.free.fr/science/logique.htm
http://www.lsv.ens-cachan.fr/~goubault/cours.html
» Logique et programmation Open in a new browser window
   Quelques notes de cours: démonstration automatique, logique informatique, complexité.
   http://www.lsv.ens-cachan.fr/~goubault/cours.html
http://spoirier.lautre.net/logique.htm
» Logique et théorie des ensembles Open in a new browser window
   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
http://math.univ-angers.fr/~darniere/ThMod.html
» Qu'est-ce que la théorie des modèles Open in a new browser window
   Présentation vulgarisée de quelques notions et résultats modernes en ce domaine.
   http://math.univ-angers.fr/~darniere/ThMod.html
http://www.logique.jussieu.fr/www.rambaud/
» Rambaud, Alexandre Open in a new browser window
   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/
http://iml.univ-mrs.fr/~ruet/
» Ruet, Paul Open in a new browser window
   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/
http://spoirier.lautre.net/leroy/
» Théorie des ensembles Open in a new browser window
   Présentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie.
   http://spoirier.lautre.net/leroy/
http://pagesperso-orange.fr/mabboux/Mathematique/Informatique.htm
» Une mathématique constructive expérimentale Open in a new browser window
   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



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 has been modified by AllMusicSearch.com editors

Free previews by Thumbshots.org