Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Bounded Arithmetic, Propositional Logic and Complexity Theory

Език Английски езикАнглийски език
Книга С твърди корици
Книга Bounded Arithmetic, Propositional Logic and Complexity Theory Jan Krajicek
Код Либристо: 02031381
Издателство Cambridge University Press, ноември 1995
This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity... Цялото описание
? points 433 b
179.15 €
350.39  лв
Външен склад Изпращаме след 9-15 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

OPERACIÓNS 4A Rubio Silvestre / Книга С твърди корици
common.buy 3.36 € 6.57 лв
Cosmidromius Gobelini Person Und Als Anhang Desselben Verfassers Processus Translacionis Et Reformacionis Monasterii Budecensis... Max Jansen / Книга С твърди корици
common.buy 34.47 € 67.42 лв
TRISTAN KEURIS: CLARINET QUINTET (PARTS) KEURIS Книга binding.
common.buy 83.80 € 163.90 лв
de Casu Genetivo Nominum Declinationis Secundae Quae in Recto Casu I Litteram Ante Ultimam Syllabam Habent Mary Burch / Книга С меки корици
common.buy 19.35 € 37.85 лв
Die Vojvodina in der Jugoslawischen Verfassungstheorie Robin Otto / Книга С меки корици
common.buy 18.11 € 35.42 лв
El Intruso Vicente Blasco Ibanez / Книга С меки корици
common.buy 12.31 € 24.09 лв
Bedeutung von Benchmarking im Mittelstand John Penner / Книга С меки корици
common.buy 26.55 € 51.93 лв
Le système de contrôle de gestion : Mise en place du tableau de bord Rachiq Samir / Книга С меки корици
common.buy 34.06 € 66.61 лв
Tricktraining für Katzen Christine Hauschild / Книга С меки корици
common.buy 9.57 € 18.72 лв
Beiträge zur Volkskunde Süd-Schantungs P. Georg M. Stenz / Книга С твърди корици
common.buy 35.92 € 70.25 лв
Friedrich Perthes Leben nach dessen schriftlichen und mündlichen Mittheilungen Clemens Theodor Perthes / Книга С меки корици
common.buy 34.94 € 68.33 лв
Begegnungen Anne Buscha / Книга С меки корици
common.buy 26.45 € 51.72 лв
Wirtschaftsorganisatorische Wege Zum Gemeinsamen Eigentum Und Zur Gemeinsamen Verantwortung Der Arbeitnehmer Otto Blume / Книга С меки корици
common.buy 55.95 € 109.43 лв

This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing open problems. An introduction to the basics of logic and complexity theory is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. More advanced topics are then treated, including polynomial simulations and conservativity results, various witnessing theorems, the translation of bounded formulas (and their proofs) into propositional ones, the method of random partial restrictions and its applications, direct independence proofs, complete systems of partial relations, lower bounds to the size of constant-depth propositional proofs, the method of Boolean valuations, the issue of hard tautologies and optimal proof systems, combinatorics and complexity theory within bounded arithmetic, and relations to complexity issues of predicate calculus. Students and researchers in mathematical logic and complexity theory will find this comprehensive treatment an excellent guide to this expanding interdisciplinary area.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Bounded Arithmetic, Propositional Logic and Complexity Theory
Автор Jan Krajicek
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 1995
Брой страници 360
Баркод 9780521452052
ISBN 0521452058
Код Либристо 02031381
Издателство Cambridge University Press
Тегло 672
Размери 236 x 159 x 31

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Mathematics & Science > Science: general issues
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Memoirs, Journal, and Correspondence of Thomas Moore Thomas MooreJohn Russell / Книга С меки корици
common.buy 49.84 € 97.49 лв
Anthropology of Names and Naming Gabriele vom BruckBarbara Bodenhorn / Книга С твърди корици
common.buy 83.85 € 164.00 лв
Anthropology, Politics, and the State Jonathan Spencer / Книга С твърди корици
common.buy 80.90 € 158.23 лв
Kierkegaard and Socrates Jacob Howland / Книга С меки корици
common.buy 39.03 € 76.33 лв
Mental Health Needs of Young Offenders Carol L. KesslerLouis James Kraus / Книга С меки корици
common.buy 117.66 € 230.11 лв
Interpretation of Material Shapes in Puritanism Ann Kibbey / Книга С меки корици
common.buy 48.14 € 94.15 лв
Leisure Tony Blackshaw / Книга С твърди корици
common.buy 227.08 € 444.14 лв
Educating for a Culture of Social and Ecological Peace Anita L. Wenden / Книга С меки корици
common.buy 39.59 € 77.44 лв
Oxford Companion to International Criminal Justice Antonio Cassese / Книга С твърди корици
common.buy 387.61 € 758.09 лв
Telling, Turning Moments in the Classical Political World Jan H. Blits / Книга С твърди корици
common.buy 134.22 € 262.51 лв
Caregiver's Tao Te Ching William Martin / Книга С меки корици
common.buy 12.16 € 23.78 лв
Best Latin Songs Ever Hal Leonard Publishing Corporation / Книга С меки корици
common.buy 26.19 € 51.22 лв
Metal Catalysed Reactions in Ionic Liquids Paul J. Dyson / Книга С твърди корици
common.buy 208.55 € 407.89 лв
Truth and the Unconscious in Psychoanalysis Giuseppe Civitarese / Книга С твърди корици
common.buy 250.84 € 490.61 лв
Locus of Control, Self-Regulation, and Vocabulary Acquisition Behnam Aghayani / Книга С меки корици
common.buy 47.15 € 92.22 лв
South African Criminal Law and Procedure. Being a Treatise Upon the Law and Practice in Criminal Matters in the Union of South Africa. Frederick George Gardiner / Книга С меки корици
common.buy 32.40 € 63.37 лв
A Battle of Fate Brooke Harrison / Книга С меки корици
common.buy 12.11 € 23.68 лв
Jesus as Divine Suicide Joel L. Watts / Книга С твърди корици
common.buy 34.16 € 66.81 лв
Keto Diet Cookbook 2020: 21 Days Low Carb Ketogenic Meal Plan to Rapid Weight Loss, Have Easy Tasty Dishes, and Better Your Lifestyle (Lose Up Jenny C. Andy / Книга С меки корици
common.buy 13.92 € 27.22 лв
The Miseries And Great Hardships Of The Inferior Clergy In And About London (1737) Thomas Stackhouse / Книга С меки корици
common.buy 25.98 € 50.81 лв
Deadly Account Ric Thompson / Книга С меки корици
common.buy 14.85 € 29.05 лв
Africa, Amazing Africa: Country by Country Mouni Feddag / Книга С твърди корици
common.buy 17.28 € 33.80 лв
Top
Greywaren Maggie Stiefvater / Книга С меки корици
common.buy 9.26 € 18.11 лв
Battalion Commanders at War Steven Thomas Barry / Книга С твърди корици
common.buy 63.87 € 124.92 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?