A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 68Q15
Affiner la recherche Interroger des sources externes
Cryptographic applications of analytic number theory (Cop. 2003) / Igor SHPARLINSKI
Titre : Cryptographic applications of analytic number theory : complexity lower bounds and pseudorandomness Type de document : texte imprimé Auteurs : Igor SHPARLINSKI, Auteur Editeur : Basel : Birkhäuser Verlag Année de publication : Cop. 2003 Collection : Progress in Computer Science and Applied Logic num. 22 Importance : VIII-411 p. ISBN/ISSN/EAN : 978-3-7643-6654-4 Langues : Anglais (eng) Catégories : 03D15
11T71
11Yxx
68Q15
94A60Mots-clés : complexité algorithmique cryptographie théorie analytique des nombres Note de contenu : index, bibliogr. Cryptographic applications of analytic number theory : complexity lower bounds and pseudorandomness [texte imprimé] / Igor SHPARLINSKI, Auteur . - Birkhäuser-Verlag, Cop. 2003 . - VIII-411 p.. - (Progress in Computer Science and Applied Logic; 22) .
ISBN : 978-3-7643-6654-4
Langues : Anglais (eng)
Catégories : 03D15
11T71
11Yxx
68Q15
94A60Mots-clés : complexité algorithmique cryptographie théorie analytique des nombres Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19437 SHP/11/7845 Livre Recherche Salle Disponible Probability, complexity, grammars (Cop. 1999) / Lev BEKLEMISHEV
Titre : Probability, complexity, grammars Type de document : texte imprimé Auteurs : Lev BEKLEMISHEV, Auteur ; Mati PENTUS, Auteur ; Nikolai VERESHCHAGIN, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : Cop. 1999 Collection : American Mathematical Society Translations. Series 2, ISSN 0065-9290 num. 192 Importance : IX-172 p. ISBN/ISSN/EAN : 978-0-8218-1078-1 Langues : Anglais (eng) Catégories : 03B45
03B65
03F40
68Q15
68S05Mots-clés : démontrabilité complexité probabilité Résumé : The book contains English translations of three outstanding dissertations in mathematical logic and complexity theory. L. Beklemishev proves that all provability logics must belong to one of the four previously known classes. The dissertation of M. Pentus proves the Chomsky conjecture about the equivalence of two approaches to formal languages: the Chomsky hierarchy and the Lambek calculus. The dissertation of N. Vereshchagin describes a general framework for criteria of reversability in complexity theory. Note de contenu : références Probability, complexity, grammars [texte imprimé] / Lev BEKLEMISHEV, Auteur ; Mati PENTUS, Auteur ; Nikolai VERESHCHAGIN, Auteur . - American Mathematical Society, Cop. 1999 . - IX-172 p.. - (American Mathematical Society Translations. Series 2, ISSN 0065-9290; 192) .
ISBN : 978-0-8218-1078-1
Langues : Anglais (eng)
Catégories : 03B45
03B65
03F40
68Q15
68S05Mots-clés : démontrabilité complexité probabilité Résumé : The book contains English translations of three outstanding dissertations in mathematical logic and complexity theory. L. Beklemishev proves that all provability logics must belong to one of the four previously known classes. The dissertation of M. Pentus proves the Chomsky conjecture about the equivalence of two approaches to formal languages: the Chomsky hierarchy and the Lambek calculus. The dissertation of N. Vereshchagin describes a general framework for criteria of reversability in complexity theory. Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16679 858/192 Livre Recherche Salle Disponible Problems of reducing the exhaustive search (Cop. 1997) / V. KREINOVICH
Titre : Problems of reducing the exhaustive search Type de document : texte imprimé Auteurs : V. KREINOVICH, Editeur scientifique ; G. MINTS, Editeur scientifique Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : Cop. 1997 Collection : American Mathematical Society Translations. Series 2, ISSN 0065-9290 num. 178 Importance : X-189 p. ISBN/ISSN/EAN : 978-0-8218-0386-8 Langues : Anglais (eng) Langues originales : Russe (rus) Catégories : 03D15
68Q15
68Q60Mots-clés : complexité computationnelle Résumé : This collection contains translations of papers on propositional satisfiability and related logical problems which appeared in Problemy Sokrashcheniya Perebora, published in Russian in 1987 by the Scientific Council ''Cybernetics'' of the USSR Academy of Sciences. The problems form the nucleus of this intensively developing area. This translation is dedicated to the memory of two remarkable Russian mathematicians, Sergei Maslov and his wife, Nina Maslova. Maslov is known as the originator of the inverse method in automated deduction, which was discovered at the same time as the resolution method of J. A. Robinson and has approximately the same range of applications. In 1981, Maslov proposed an iterative algorithm for propositional satisfiability based on some general ideas of search described in detail in his posthumously published book, Theory of Deductive Systems and Its Applications (1986; English 1987). This collection contains translations of papers on proposititional satisfiability and related logical problems. The papers related to Maslov's iterative method of search reduction play a significant role. Note de contenu : références Problems of reducing the exhaustive search [texte imprimé] / V. KREINOVICH, Editeur scientifique ; G. MINTS, Editeur scientifique . - American Mathematical Society, Cop. 1997 . - X-189 p.. - (American Mathematical Society Translations. Series 2, ISSN 0065-9290; 178) .
ISBN : 978-0-8218-0386-8
Langues : Anglais (eng) Langues originales : Russe (rus)
Catégories : 03D15
68Q15
68Q60Mots-clés : complexité computationnelle Résumé : This collection contains translations of papers on propositional satisfiability and related logical problems which appeared in Problemy Sokrashcheniya Perebora, published in Russian in 1987 by the Scientific Council ''Cybernetics'' of the USSR Academy of Sciences. The problems form the nucleus of this intensively developing area. This translation is dedicated to the memory of two remarkable Russian mathematicians, Sergei Maslov and his wife, Nina Maslova. Maslov is known as the originator of the inverse method in automated deduction, which was discovered at the same time as the resolution method of J. A. Robinson and has approximately the same range of applications. In 1981, Maslov proposed an iterative algorithm for propositional satisfiability based on some general ideas of search described in detail in his posthumously published book, Theory of Deductive Systems and Its Applications (1986; English 1987). This collection contains translations of papers on proposititional satisfiability and related logical problems. The papers related to Maslov's iterative method of search reduction play a significant role. Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 12045 858/178 Livre Recherche Salle Disponible Realization spaces of polytopes (1996) / Jürgen RICHTER-GEBERT
Titre : Realization spaces of polytopes Type de document : monographie Auteurs : Jürgen RICHTER-GEBERT, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1996 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1643 Importance : XI-187 p. ISBN/ISSN/EAN : 978-3-540-62084-6 Langues : Anglais (eng) Catégories : 14P10
51A25
52B10
52B11
52B30
52b40
68Q15Mots-clés : realisation d'espaces de polytopes polytope matroïde Note de contenu : index, bibliogr. Realization spaces of polytopes [monographie] / Jürgen RICHTER-GEBERT, Auteur . - Springer-Verlag, 1996 . - XI-187 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1643) .
ISBN : 978-3-540-62084-6
Langues : Anglais (eng)
Catégories : 14P10
51A25
52B10
52B11
52B30
52b40
68Q15Mots-clés : realisation d'espaces de polytopes polytope matroïde Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 10731 LN 1643 Livre Recherche Salle Disponible