Les bibliothèques de la ville de Paris
Les bibliothèques universitaires
La BnF
L'encyclopédie Wikipédia
L'Encyclopædia Universalis
La bibliothèque du film
La médiathèque de la Philharmonie de Paris
Complexité de calcul (informatique)
-
Type d'autorité
- Concept
-
Autre(s) nom(s)
- Calcul, Complexité de (informatique) ;
- MSC 03D15 (2000)
Choix d'un sujet lié
Recherche simple :
- Tous les mots : Complexité de calcul (informatique)
Choix du tri des documents
Sélectionner le nombre de résultat par colonne
Documents en ligne : 0
Explorer les sujets liés :
510.1 - Fondements des mathématiques, axiomatique, logique mathématique
-
Type d'autorité
- Indice de classement
Lavallée, Ivan (1946-....)
-
Type d'autorité
- Personne
-
- 28/05/1946
-
Pays
- France
-
Langue(s)
- français
-
Activité(s) principale(s)
- Maître de conférences au Conservatoire national des Arts et métiers (en 1988). - Professeur à l'Université Paris VIII, Saint-Denis (en 1991). - Conseiller scientifique à l'Institut National de Recherche en Informatique et Automatique (en 1991). - Membre du groupe Roseaux (en 1987)
Carton, Olivier
-
Type d'autorité
- Personne
-
- 19..
-
Pays
- France
-
Langue(s)
- français
-
Activité(s) principale(s)
- Ancien élève de l'École normale supérieure, agrégé de mathématiques, $a A enseigné à l'université de Marne-la-Vallée (en 1998) et à l'École normale supérieure de Paris. - Professeur d'informatique à l'université Paris-Diderot (en 2014)
Logique mathématique
-
Type d'autorité
- Concept
-
Autre(s) nom(s)
- Logique formelle ;
- Logique moderne symbolique