Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 392 p.
Cote : 00005322
algorithme # algorithme de fermeture oblique rapide # algèbre de Boole # arithmétique de Peano # complexité algébrique # complexité informatique # logique # machine de Turing # machine à accès aléatoire # problème de décision # théorie de Morse
03D10 ; 03D15 ; 03Fxx
Localisation : Colloque 1er étage (ZURI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00008704
codage des ordres dénombrables # complexité algorithmique # corps # espace polonais # géométrie des espaces de Banach # logique du premier ordre # logique stationnaire # méthode de priorité # théorie de la classification # théorie des modules # échelle des grands cardinaux
03-02 ; 03-06 ; 03Cxx ; 03D15 ; 68Q25
Localisation : Publication 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 431 p.
Cote : 00010608
algorithme # algorithmique # complexité # informatique théorique # mathématique discrète
03D15 ; 68C25 ; 68Q15 ; 68Q30 ; 68Qxx
Localisation : Ouvrage RdC (Stud)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 428 p.
Cote : 00016833
arithmétique # arithmétique bornée # calcul symbolique # complexité du calcul informatique # mathématique discrète # théorie de la preuve
03D15 ; 03Fxx ; 68Q15 ; 68Q40 ; 68Rxx
Localisation : Ouvrage RdC (Arit)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 175 p.
Cote : 00001813
borne supérieure minimale pour suite de degrés # catégorie # continuum de degrés mutuellement incomparables # degré d'insolvabilité # degrés énumérables récursivement # opérateur saut # segment initial de degrés # sous-ordonnancement indénombrable de degrés # théorie de la mesure # théorie descriptive des ensembles
03D15 ; 03D25 ; 03E15 ; 68Q15 ; 68Q25
Localisation : Ouvrage RdC (SACK)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 267 p.
Cote : 00018056
jauge quantique # métrique # représentation de groupe ou d'algèbre # substitution # système dynamique # système dynamique et approximation # théorie des représentations # théorie spectrale # transformation
03D15 ; 05A99 ; 20C30 ; 20C32 ; 28D05
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- Pp. 1021-2108
Cote : 00017597
algèbre linéaire # algèbre supérieure # application # biologie moléculaire # chimie # combinatoire infinie # combinatoire polyèdrale # complexité de calcul # groupe d'automorphisme # histoire de combinatoire # informatique # ingénierie électrique # isomorphisme # jeu combinatoire # manuel de combinatoire # mathématique pure # méthode d'énumération asymptotique # méthode probabiliste # méthode topologique # optimisation combinatoire # physique statistique # recherche opérationnelle # reconstruction # statistique # système d'ensemble extrémal # théorie de Ramsey # théorie des graphes extrémales # théorie des écarts # énumération algébrique
[-]
algèbre linéaire # algèbre supérieure # application # biologie moléculaire # chimie # combinatoire infinie # combinatoire polyèdrale # complexité de calcul # groupe d'automorphisme # histoire de combinatoire # informatique # ingénierie électrique # isomorphisme # jeu combinatoire # manuel de combinatoire # mathématique pure # méthode d'énumération asymptotique # méthode probabiliste # méthode topologique # optimisation combinatoire # physique ...
[+]
03D15 ; 05-00 ; 05A15 ; 05Axx ; 90C27
Localisation : Ouvrage RdC (Hand)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 389 p.
Cote : 00017649
algèbre et linguistique # calcul résultant pour logique du second ordre # catégorie # complexité et expressivité # décision de prouvabilité de formule de logique linéaire # hypercohérence # héritage avec exception # intéraction stochastisque # logique bilinéaire # modèle stable fortement de logique linéaire # simulation directe de machine de Minsky # structure finie de règle exponentielle # syntaxe et sémantique # théorie de la complexité # théorie de la preuve # théorie des ensembles
[-]
algèbre et linguistique # calcul résultant pour logique du second ordre # catégorie # complexité et expressivité # décision de prouvabilité de formule de logique linéaire # hypercohérence # héritage avec exception # intéraction stochastisque # logique bilinéaire # modèle stable fortement de logique linéaire # simulation directe de machine de Minsky # structure finie de règle exponentielle # syntaxe et sémantique # théorie de la complexité # ...
[+]
03B15 ; 03Bxx ; 03C45 ; 03D15 ; 68S05
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00018143
CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de décision # résultat d'inapproximabilité # système de preuve PCP # théorie des graphes et logique # # vérification aléatoire de certificat
[-]
CO inclus dans IP # IP= PSACE # P # algorithme # asymptotique # classe IP ou AM # classe NPO, APX ou EAP # classe P ou NP # complétude par classe de compléxité # compléxité de calcul # démonstration tranparente # impossibilité d'approximation # langage réausif # modéle de calcul # preuve interactive # preuve vérifiable probabilistiquement # problème d'approximation # problème d'optimisation # problème d'énumération et classe # problème de ...
[+]
03D15 ; 05Cxx ; 68Q05 ; 68Q15 ; 68Q25
Localisation : Salle de manutention