Forcing with Random Variables and Proof Complexity.

A model-theoretic approach to bounded arithmetic and propositional proof complexity.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Krajícek, Jan
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press, 2010.
Colección:London Mathematical Society Lecture Note Series, 382.
Temas:
Computational complexity.
Random variables.
Mathematical analysis.
Complexité de calcul (Informatique)
Variables aléatoires.
Analyse mathématique.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Acceso en línea:Texto completo
Descripción
Sumario:A model-theoretic approach to bounded arithmetic and propositional proof complexity.
Notas:19 PHP principle.
Descripción Física:1 online resource (266 pages)
Bibliografía:Includes bibliographical references (pages 236-242) and indexes.
ISBN:9781139117333
1139117335
9781139127998
1139127993
9781139115162
1139115162
9781139107211
1139107216

Ejemplares similares