Centres de recherche
(11)
|
| Articles et cours de theorie de la demonstration.
Categorie : Mathematiques > Logique et fondements |
Note Internautes
Google PR | Textes de seminaires d'introduction a la logique: theorie des modeles, theorie des ensembles et recursivite.
Categorie : Mathematiques > Logique et fondements |
Note Internautes
Google PR | Notes de cours de logique, articles sur la theorie des ensembles et la theorie des tresses.
Categorie : Mathematiques > Logique et fondements |
Note Internautes
Google PR | Presentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie.
Categorie : Mathematiques > Logique et fondements |
Note Internautes
Google PR | Quelques notes de cours: demonstration automatique, logique informatique, complexite.
Categorie : Mathematiques > Logique et fondements |
Note Internautes
Google PR | Son cours de deuxieme annee de Master est une introduction a la logique, a la calculabilite et a la complexite algorithmique.
Categorie : Mathematiques > Logique et fondements |
Note Internautes
Google PR | Presentation vulgarisee de quelques notions et resultats modernes en ce domaine.
Categorie : Mathematiques > Logique et fondements |
Note Internautes
Google PR | Introduction aux fondements des mathematiques, et presentation detaillee d'une theorie naive des ensembles non traditionnelle.
Categorie : Mathematiques > Logique et fondements |
Note Internautes
Google PR | Cours de Master recherche sur la theorie des modeles, apres un cours de Master 1 logique et complexite.
Categorie : Mathematiques > Logique et fondements |
Note Internautes
Google PR | 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.
Categorie : Mathematiques > Logique et fondements |
Note Internautes
Google PR