|
Vous êtes ici :
Annuaire des Sciences > Mathematiques > Logique et fondements
 | Ajoutez cette catégorie à vos favoris
Annuaire des Sciences > Mathematiques > Logique et fondements
 |
Girard, Jean-Yves
Articles et cours de theorie de la demonstration.
http://iml.univ-mrs.fr/~girard/
|
 |
Rambaud, Alexandre
Textes de seminaires d'introduction a la logique: theorie des modeles, theorie des ensembles et recursivite.
http://www.logique.jussieu.fr/www.rambaud/
|
 |
Dehornoy, Patrick
Notes de cours de logique, articles sur la theorie des ensembles et la theorie des tresses.
http://www.math.unicaen.fr/~dehornoy/
|
 |
Theorie des ensembles
Presentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie.
http://members.aol.com/GiblaCloni/Mathematiques/Math.htm
|
 |
Logique et programmation
Quelques notes de cours: demonstration automatique, logique informatique, complexite.
http://www.lsv.ens-cachan.fr/~goubault/cours.html
|
 |
Ruet, Paul
Son cours de deuxieme annee de Master est une introduction a la logique, a la calculabilite et a la complexite algorithmique.
http://iml.univ-mrs.fr/~ruet/
|
 |
Logique et theorie des ensembles
Introduction aux fondements des mathematiques, et presentation detaillee d'une theorie naive des ensembles non traditionnelle.
http://spoirier.lautre.net/logique.htm
|
 |
Blossier, Thomas
Cours de Master recherche sur la theorie des modeles, apres un cours de Master 1 logique et complexite.
http://math.univ-lyon1.fr/~blossier/
|
 |
Introduction a la logique floue
Petite parabole militaire qui traduit l'opportunite du recours a la logique floue dans le processus de decision et de management; liens sur la logique floue.
http://www.logique-floue.com/
|
|
|
