SCIENCE
annuaire de référence
Accueil
|
Actualité
|
Vidéos
|
Partenaires
ANNUAIRE
Partenaires
Catégories :
Actualité et médias
Agriculture
Alternatives
Associations
Astronomie
Biologie
Centres de recherche
Chimie
Conférences
Enseignement et formation
Environnement
Epistémologie
Histoire des sciences
Informatique
Institutions
Logiciels
Mathématiques
Méthodes et techniques
Musées
Physique
Répertoires
Science et société
Sciences de la Terre
Sciences humaines et sociales
Technologie
Mathématiques
>
Logique et fondements
Centres de recherche
1
2
>
Blossier, Thomas
Mathématiques - Logique et fondements
Cours de Master recherche sur la théorie des modèles, après un cours de Master 1 logique et complexité.
Dehornoy, Patrick
Mathématiques - Logique et fondements
Notes de cours de logique, articles sur la théorie des ensembles et la théorie des tresses.
Girard, Jean-Yves
Mathématiques - Logique et fondements
Articles et cours de théorie de la démonstration.
Introduction à la logique floue
Mathématiques - Logique et fondements
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.
La logique et ses paradoxes
Mathématiques - Logique et fondements
Introduction aux paradoxes ensemblistes et au théorème de Gödel.
Logique et programmation
Mathématiques - Logique et fondements
Quelques notes de cours: démonstration automatique, logique informatique, complexité.
Logique et théorie des ensembles
Mathématiques - Logique et fondements
Introduction aux fondements des mathématiques, et présentation détaillée d'une théorie naïve des ensembles non traditionnelle.
Qu'est-ce que la théorie des modèles
Mathématiques - Logique et fondements
Présentation vulgarisée de quelques notions et résultats modernes en ce domaine.
Rambaud, Alexandre
Mathématiques - Logique et fondements
Textes de séminaires d'introduction à la logique: théorie des modèles, théorie des ensembles et récursivité.
Ruet, Paul
Mathématiques - Logique et fondements
Son cours de deuxième année de Master est une introduction à la logique, à la calculabilité et à la complexité algorithmique.
1
2
>
Sport
|
Musique
|
Santé
|
Arts
|
Informatique
|
Maison
|
Jeux
|
Economie
|
Sport V1
|
Accueil
|
Régional
audit et mesure d'audience visiteurs internet par