{"product_id":"9781848902251","title":"Elementary Logic with Applications: A Procedural Perspective for Computer Scientists","description":"\u003cp\u003e\u003cem\u003eElementary Logic with Applications\u003c\/em\u003e is written for undergraduate logic and logic \u003c\/p\u003e\u003cp\u003eprogramming courses. Logic has been applied to a wide variety of subjects such \u003c\/p\u003e\u003cp\u003eas software engineering and hardware design, to programming and artificial \u003c\/p\u003e\u003cp\u003eintelligence. In this way, it has served to stimulate the search for clear conceptual \u003c\/p\u003e\u003cp\u003efoundations. \u003c\/p\u003e\u003cp\u003eRecently many extensions of classical logic such as temporal, modal, relevance, \u003c\/p\u003e\u003cp\u003efuzzy and non-monotonic logics have been widely used in computer science, \u003c\/p\u003e\u003cp\u003etherefore requiring a new formulation of classic logic which can be modified to \u003c\/p\u003e\u003cp\u003eyield the effect of non-classical logics. \u003c\/p\u003e\u003cp\u003eThis text aims to introduce classical logic in such a way that one can easily \u003c\/p\u003e\u003cp\u003edeviate into discussing non-classical logics. It defines a number of different types \u003c\/p\u003e\u003cp\u003eof logics and the differences between them, starting with the basic notions of the \u003c\/p\u003e\u003cp\u003emost common logic. \u003c\/p\u003e\u003cp\u003e\u003cem\u003eElementary Logic with Applications\u003c\/em\u003e develops a theorem prover for classical logic \u003c\/p\u003e\u003cp\u003ein a way that maintains a procedural point of view and presents the reader with \u003c\/p\u003e\u003cp\u003ethe real challenges facing applied logic. \u003c\/p\u003e\u003cp\u003eDov Gabbay and Odinaldo Rodrigues have been teaching logic and computer \u003c\/p\u003e\u003cp\u003escience for many years. Dov Gabbay has written numerous other titles on the \u003c\/p\u003e\u003cp\u003esubject of logic and is a world authority on non-classical logics. Odinaldo \u003c\/p\u003e\u003cp\u003eRodrigues is widely known for his work on logic, belief revision and \u003c\/p\u003e\u003cp\u003eargumentation. \u003c\/p\u003e\u003cp\u003eThe “Elementary Logic with Applications” course is currently taught at the \u003c\/p\u003e\u003cp\u003eDepartment of Informatics, King's College London.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e","brand":"College Publications","offers":[{"title":"Default Title","offer_id":47061642903792,"sku":"9781848902251","price":18.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9781848902251_p0.jpg?v=1763750542","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9781848902251","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}