Aide sur l'Annuaire Recherche limitée à la catégorie : Logique et fondementsRechercher sur le Web

Logique et fondements

Sciences > Mathématiques > Logique et fondements

Afficher la page d’accueil de l'Annuaire: [Français]  [English]

Catégories

Centres de recherche (11) Philosophie de la logique (20)

Catégorie apparentée :
    Sciences > Informatique  (113)

Pages Web

Pages affichées selon le classement Google PageRank               Afficher par ordre alphabétique

	Girard, Jean-Yves - http://iml.univ-mrs.fr/~girard/ Articles et cours de théorie de la démonstration.
	Dehornoy, Patrick - http://www.math.unicaen.fr/~dehornoy/ Notes de cours de logique, articles sur la théorie des ensembles et la théorie des tresses.
	Ruet, Paul - http://iml.univ-mrs.fr/~ruet/ Son cours de deuxième année de Master est une introduction à la logique, à la calculabilité et à la complexité algorithmique.
	Logique et programmation - http://www.lsv.ens-cachan.fr/~goubault/cours.html Quelques notes de cours: démonstration automatique, logique informatique, complexité.
	Logique et théorie des ensembles - http://spoirier.lautre.net/logique.htm 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 - http://math.univ-angers.fr/~darniere/ThMod.html Présentation vulgarisée de quelques notions et résultats modernes en ce domaine.
	La logique et ses paradoxes - http://ysagnier.free.fr/science/logique.htm Introduction aux paradoxes ensemblistes et au théorème de Gödel.
	Théorie des ensembles - http://spoirier.lautre.net/leroy/ Présentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie.
	Introduction à la logique floue - http://www.logique-floue.com/ 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.
	Une mathématique constructive expérimentale - http://pagesperso-orange.fr/mabboux/Mathematique/Informatique.htm Fonder les mathématiques par les algorithmes. De la programmation à la logique et aux probabilités.

	Rambaud, Alexandre - http://www.logique.jussieu.fr/www.rambaud/ Textes de séminaires d'introduction à la logique: théorie des modèles, théorie des ensembles et récursivité.
	Blossier, Thomas - http://math.univ-lyon1.fr/~blossier/ Cours de Master recherche sur la théorie des modèles, après un cours de Master 1 logique et complexité.

Apportez votre contribution à l'annuaire le plus complet du Web (avec évaluateurs « humains » !). Proposer un site - Open Directory Project - Devenir évaluateur de site

Le contenu de l'annuaire Google est basé sur Open Directory, et complété par la technologie Google. Les évaluateurs suivants (Open Directory) ont contribué à cette catégorie : spoirier

Modifié par Google - ©2009 Google
Aide sur l'Annuaire - À propos - Google in English