Home » Science » Computer Science » Review Of Logic For Computer Scientists
Review Of Logic For Computer Scientists
999
Category : Science » Computer Science
. on the topic of propositional and ï¬
Download File Free PDF eBooks Download Science Computer Science
This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientists. What’s a bias towards computer scientists, you ask? Good question. Despite my initial belief, it doesnot mean that it introduces logic with an eye towards the wide variety of areas where logic is used in computerscience. Rather, it gives a computational perspective on logic; the emphasis is on computational aspects of logic,and specifically on procedures for establishing the satisfiability or unsatisfiability of formulas, culminating in variousforms of the resolution procedure. (In that same sense, Smullyan [5] gives a tableaux-based perspective on first-orderlogic.) The study of resolution procedures leads naturally to the topic of using predicate logic as a programminglanguage, that is, logic programming.
This focus on computational aspects means that there is much less coverage of those topics typically found in logic textbooks, such as axiomatization and completeness results, or model theoretic notions such as applications ofcompactness and theories. This is not a criticism, mind you: there are other good introductory books that deal withthat. Sch¨oning decides to concentrate on computational issues, and gives us a short book (less than 170 pages) with atight storyline.
Favorite Computer Science PDF File
1141
On The Unusual Effectiveness Of Logic In Computer Science
category Science » Computer Science
999
Review Of Logic For Computer Scientists
category Science » Computer Science
832
Tables As A User Interface For Logic Programs
category Science » Computer Science
984
Logic For Computer Security Protocols
category Science » Computer Science
2011
