Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “alexander leitsch”
Skip side bar filters

  • First-Order Schemata and Inductive Proof Analysis

    by Alexander Leitsch, David Michael Cerna, Anela Lolic ...
    Series series Computer Science (R0)
    Schemata are formal tools for describing inductive reasoning. They opened a new area in the analysis of inductive proofs.The book introduces schemata for first-order terms, first-order formulas and first-order inference systems. Based on general first-order schemata, the cut-elimination-by-resolution (CERES) method—developed around the year 2000—is extended to schematic proofs. This extension ... Read more

    $161.09 USD

  • Methods of Cut-Elimination

    by Alexander Leitsch, Matthias Baaz ...
    Series series Mathematics and Statistics (R0)
    This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs). The first part investigates traditional reductive methods from the point of view ... Read more

    $89.09 USD

People who read these also enjoyed

  • Mathematics of Discrete Structures for Computer Science

    by Gordon J. Pace ...
    Series series Computer Science (R0)
    Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circuit, a computer program or a new programming language, you need mathematics to be able to reason about the design -- its correctness, robustness and dependability. This book covers the foundational ... Read more

    $49.49 USD

  • One Hundred Prisoners and a Light Bulb

    by Hans van Ditmarsch, Barteld Kooi ...
    Series series Mathematics and Statistics (R0)
    A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no ... Read more

    $18.99 USD

  • Set Theory

    With an Introduction to Real Point Sets

    by Abhijit Dasgupta ...
    What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by late nineteenth-century mathematicians such as Dedekind and Cantor gave birth to set theory. This textbook presents classical set theory in an intuitive but concrete manner.To allow flexibility of topic selection in courses, the book is organized into four relatively ... Read more

    $80.99 USD

  • Mathematical Logic for Computer Science

    by Mordechai Ben-Ari ...
    Series series Computer Science (R0)
    Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems ... Read more

    $58.49 USD

  • A Course on Mathematical Logic

    by Shashi Mohan Srivastava ...
    Series series Mathematics and Statistics (R0)
    This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to ... Read more

    $62.99 USD

  • Quantum Physics, Fuzzy Sets and Logic

    Steps Towards a Many-Valued Interpretation of Quantum Mechanics

    by Jarosław Pykacz ...
    Series series Physics and Astronomy (R0)
    This Brief presents steps towards elaborating a new interpretation of quantum mechanics based on a specific version of Łukasiewicz infinite-valued logic. It begins with a short survey of main interpretations of quantum mechanics already proposed, as well as various models of many-valued logics and previous attempts to apply them for the description of quantum phenomena. The prospective many-valued ... Read more

    $49.49 USD

  • Probability Logics

    Probability-Based Formalization of Uncertain Reasoning

    by Zoran Ognjanović, Miodrag Rašković, Zoran Marković ...
    Series series Computer Science (R0)
    The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axiomatizations, completeness, compactness, and decidability, including solutions of some problems from the ... Read more

    $116.09 USD

  • Structural Analysis of Non-Classical Logics

    The Proceedings of the Second Taiwan Philosophical Logic Colloquium

    Edited by Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin ...
    Series series Springer Nature Proceedings excluding Computer Science
    This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate ... Read more

    $89.09 USD

  • Facets of Uncertainties and Applications

    ICFUA, Kolkata, India, December 2013

    Edited by Andrzej Skowron, Manoranjan Maiti, Samarjit Kar, Mihir K. Chakraborty ...
    Series series Springer Nature Proceedings excluding Computer Science
    Since the emergence of the formal concept of probability theory in the seventeenth century, uncertainty has been perceived solely in terms of probability theory. However, this apparently unique link between uncertainty and probability theory has come under investigation a few decades back. Uncertainties are nowadays accepted to be of various kinds. Uncertainty in general could refer to different ... Read more

    $89.09 USD

  • Perspectives in Computational Complexity

    The Somenath Biswas Anniversary Volume

    Edited by Manindra Agrawal, Vikraman Arvind ...
    Series series Mathematics and Statistics (R0)
    This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday. They discuss current trends and exciting developments in this flourishing area of research and offer fresh perspectives on various aspects of complexity theory. The topics covered include arithmetic circuit complexity, lower ... Read more

    $98.09 USD