Logical Foundations of Proof Complexity Год выпуска: 2010Автор: Stephen Cook, Phuong NguyenИздательство: Страниц: 492ISBN: 052151729XОписание This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. The result is a uniform treatment of many systems in the literature.
Похожие книги
Johan Deprez, John T. Harvey. Foundations of International Economics: Post Keynesian Perspectives. – М.: , 0. – 0 с. Sunny A. Auyang. Foundations of Complex-system Theories: In Economics, Evolutionary Biology, and Statistical Physics. – М.: Cambridge University Press, 1999. – 420 с. Ben J. Heijdra, Frederick van der Ploeg. The Foundations of Modern Macroeconomics. – М.: Oxford University Press, 2002. – 784 с. Roger G. Clarke. Options and Futures: A Tutorial (The Research Foundation of Aimr and Blackwell Series in Finance). – М.: Research Foundation of the Institute of Chartered Financial Analysts, 1992. – 124 с. Antonella Cupillari. The Nuts and Bolts of Proofs, Third Edition. – М.: , 2005. – 0 с. Alvaro Cencini. Macroeconomic Foundations of Macroeconomics (Routledge Frontiers of Political Economy). – М.: , 2005. – 358 с. Intl Foundation of Employee Benefit Plans. Health Care Purchasing Coalitions: Multiemployer and Public Plans 2008 Directory. – М.: , 2008. – 53 с. Alan C. Shapiro, Atulya Sarin. Foundations of Multinational Financial Management. – М.: John Wiley and Sons, Ltd, 2008. – 560 с. Stephen Cook, Phuong Nguyen. Logical Foundations of Proof Complexity. – М.: , 2010. – 492 с. A. Bayoumi. Foundations of Complex Analysis in Non Locally Convex Spaces,193. – М.: , 2010. – 304 с. Jorge. Lobo. Foundations of Disjunctive Logic Programming. – М.: , 1992. – 330 с. The Educational Foundation of the National Restaurant Association. Applied Foodservice Sanitation. – М.: , 1992. – 518 с. Ig Grattan–guiness. The Search for Mathematical Roots 1870–1940 – Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Godel. – М.: , 2000. – 704 с. M Heidegger. The Metaphysical Foundations of Logic. – М.: , 1984. – 256 с. S Ponnusamy. Foundations of Complex Analysis. – М.: , 1997. – 508 с. Gunn Quznetsov. Logical foundation of fundamental theoretical physics. – М.: LAP Lambert Academic Publishing, 2013. – 180 с. Anahit Chubaryan. Rabin style speed-up of proofs. – М.: LAP Lambert Academic Publishing, 2010. – 60 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Елена Огромное СПАСИБО за участие и оперативность! Желаю нам удачи!
