{"product_id":"logic-sets-and-recursion","title":"Logic, Sets And Recursion","description":"\u003cp\u003e\u003cspan style=\"text-decoration: underline;\"\u003e\u003cstrong\u003eDETAILS : \u003c\/strong\u003e\u003c\/span\u003e\u003c\/p\u003e\n\u003cul\u003e\n\u003cli\u003eAuthor : Robert L. Causey\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003ePublisher ‏ : ‎ Jones \u0026amp; Bartlett Learning\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003ePublication date ‏ : ‎ 3 January 2006\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003eEdition ‏ : ‎ 2nd\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003eLanguage ‏ : ‎ English\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003eHardcover ‏ : ‎ 528 pages\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003eISBN-10 ‏ : ‎ 9380108087\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003eISBN-13 ‏ : ‎ 9789380108087\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003eItem Weight ‏ : ‎ 900 g\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003cp\u003e\u003cspan style=\"text-decoration: underline;\"\u003e\u003cstrong\u003eABOUT THE BOOK\u003c\/strong\u003e\u003c\/span\u003e\u003c\/p\u003e\n\u003cp data-path-to-node=\"1\"\u003e\u003cb data-path-to-node=\"1\" data-index-in-node=\"0\"\u003eLogic, Sets, and Recursion\u003c\/b\u003e by \u003cb data-path-to-node=\"1\" data-index-in-node=\"30\"\u003eRobert L. Causey\u003c\/b\u003e is a sophisticated undergraduate textbook designed to bridge the gap between standard \"discrete mathematics\" texts and advanced, rigorous mathematical logic. It is particularly valued in computer science and philosophy departments for its focus on the formal construction of proofs and the semantic foundations of formalized languages.\u003c\/p\u003e\n\u003cp data-path-to-node=\"2\"\u003eThe book is structured into four primary pillars:\u003c\/p\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cb data-path-to-node=\"3,0,0\" data-index-in-node=\"0\"\u003eSentential Calculus:\u003c\/b\u003e An introduction to propositional logic, truth tables, and formal derivations.\u003c\/li\u003e\n\u003cli\u003e\n\u003cb data-path-to-node=\"3,1,0\" data-index-in-node=\"0\"\u003eBasic Set Theory:\u003c\/b\u003e A deep dive into the language of sets, relations, and functions, which form the bedrock of modern mathematics.\u003c\/li\u003e\n\u003cli\u003e\n\u003cb data-path-to-node=\"3,2,0\" data-index-in-node=\"0\"\u003eRecursion and Mathematical Induction:\u003c\/b\u003e This section is the \"heart\" of the book for computer scientists, applying inductive reasoning not just to numbers, but to non-numerical data types and recursive definitions.\u003c\/li\u003e\n\u003cli\u003e\n\u003cb data-path-to-node=\"3,3,0\" data-index-in-node=\"0\"\u003ePredicate Calculus:\u003c\/b\u003e An exploration of first-order logic, quantifiers, and elementary metatheory.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003cp data-path-to-node=\"4\"\u003eCausey’s writing is celebrated for being \"informal but rigorous.\" He provides students with the heuristic strategies needed to actually \u003ci data-path-to-node=\"4\" data-index-in-node=\"136\"\u003ewrite\u003c\/i\u003e proofs rather than just follow them, making it an essential preparatory text for advanced courses in Artificial Intelligence, theoretical computer science, and higher mathematics.\u003c\/p\u003e\n\u003cp data-path-to-node=\"4\"\u003e\u003cspan style=\"text-decoration: underline;\"\u003e\u003cstrong\u003eABOUT THE AUTHOR\u003c\/strong\u003e\u003c\/span\u003e\u003c\/p\u003e\n\u003cp data-path-to-node=\"6\"\u003e\u003cb data-path-to-node=\"6\" data-index-in-node=\"0\"\u003eDr. Robert L. Causey\u003c\/b\u003e is Professor Emeritus of Philosophy at the \u003cb data-path-to-node=\"6\" data-index-in-node=\"64\"\u003eUniversity of Texas at Austin\u003c\/b\u003e, where he also served as a member of the \u003cb data-path-to-node=\"6\" data-index-in-node=\"135\"\u003eArtificial Intelligence Laboratory\u003c\/b\u003e. He earned his PhD in Logic and the Methodology of Science from UC Berkeley in 1967.\u003c\/p\u003e\n\u003cp data-path-to-node=\"7\"\u003eDr. Causey is a true polymath whose research spans the philosophy of science, the logical structure of scientific theories, and defeasible reasoning in AI. He was a co-founder of the UT Artificial Intelligence Lab and has authored other significant works such as \u003ci data-path-to-node=\"7\" data-index-in-node=\"263\"\u003eUnity of Science\u003c\/i\u003e (1977). His unique background allows him to teach logic with a precision that satisfies mathematicians while maintaining the conceptual depth valued by philosophers.\u003c\/p\u003e","brand":"Jones and Bartlett Learning","offers":[{"title":"Default Title","offer_id":51508613349674,"sku":"VASY-9380108087","price":48.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0693\/1218\/4618\/files\/41H39TDYV4L.jpg?v=1778143444","url":"https:\/\/crazyshelf.com\/products\/logic-sets-and-recursion","provider":"Crazyshelf.com","version":"1.0","type":"link"}