{"product_id":"9781461266235","title":"Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography","description":"\u003ch1\u003eFoundations of Logic and Mathematics: Applications to Computer Science and Cryptography\u003c\/h1\u003e \u003ch2\u003eNievergelt, Yves\u003c\/h2\u003e \u003cp\u003eThis modem introduction to the foundations of logic, mathematics, and computer science answers frequent questions that mysteriously remain mostly unanswered in other texts: • Why is the truth table for the logical implication so unintuitive? • Why are there no recipes to design proofs? • Where do these numerous mathematical rules come from? • What are the applications of formal logic and abstract mathematics? • What issues in logic, mathematics, and computer science still remain unresolved? Answers to such questions must necessarily present both theory and significant applica­ tions, which explains the length of the book. The text first shows how real life provides some guidance for the selection of axioms for the basis of a logical system, for instance, Boolean, classical, intuitionistic, or minimalistic logic. From such axioms, the text then derives de­ tailed explanations of the elements of modem logic and mathematics: set theory, arithmetic, number theory, combinatorics, probability, and graph theory, with applications to computer science. The motivation for such detail, and for the organization of the material, lies in a continuous thread from logic and mathematics to their uses in everyday life.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Birkhäuser\u003c\/p\u003e \u003cp\u003ePublication Date: 2012-10-13\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9781461266235\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4612-0125-0\u003c\/p\u003e \u003cp\u003eDimensions: 254cm x178cm\u003c\/p\u003e \u003cp\u003ePages: 415\u003c\/p\u003e ","brand":"Birkhäuser Boston","offers":[{"title":"Default Title","offer_id":46546552553612,"sku":"9781461266235","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781461266235.jpg?v=1775793083","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781461266235","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}