Repertoire ODP des sites mathematiques 
(11) |
- Centre national de recherches de Logique
- Organisation visant à réaliser, susciter et coordonner la recherche en logique, tant philosophique que mathématique, dans les différentes institutions universitaires belges.
- Équipe de Logique Mathématique
- Groupe de recherches à l'institut de mathématiques de l'université de Freiburg.
- Équipe de logique mathématique
- Etude de la théorie des modèles, de la théorie des ensembles, et des applications à l'informatique. Université Paris 7, CNRS - UMR 7056.
- Equipe Modèles de Calcul et de Complexité
- Les différents thèmes de cette équipe du laboratoire d'informatique de l'ENS Lyon concernent l'étude de la notion d'algorithme et la conception de nouveaux algorithmes. Lyon, France.
- Équipe Plume
- Cette équipe du laboratoire d'informatique de l'ENS Lyon s'intéresse à la preuve formelle et la sémantique. Analyse théorique des formalismes et mise en oeuvre de méthodes formelles (déduction automatique, spécification et vérification). Lyon, France.
- Laboratoire d'algorithmique, complexité et logique
- Laboratoire du CNRS au département d'informatique de l'Université Paris 12.
- Logique de la Programmation
- Équipe de recherche de l'Institut de Mathématiques de Luminy.
- Logique mathématique
- Recherches en théories des ensembles alternatives, théorie des modèles et informatique théorique, à l'Université Libre de Bruxelles.
- Service de Logique Mathématique
- Équipe de l'institut de Mathématique de l'Université de Mons-Hainaut (Belgique).
- Thème Logique
- Thème de recherche en logique mathématique de l'Institut Camille Jordan (Université Lyon I): théorie des modèles et complexité algébrique, en rapport avec la théorie des groupes et la géométrie.
|
|
|
Fiches de maths
Forum de maths
Encyclopédie
Annuaire
Outils
Jeux
Ce site
Nouveau
Livre d'or
Newsletter
île des maths
île de la physique
