000 03459nam a22004575i 4500
001 978-0-8176-4763-6
003 DE-He213
005 20161121231211.0
007 cr nn 008mamaa
008 100301s2008 xxu| s |||| 0|eng d
020 _a9780817647636
_9978-0-8176-4763-6
024 7 _a10.1007/978-0-8176-4763-6
_2doi
050 4 _aQA8.9-QA10.3
072 7 _aUYA
_2bicssc
072 7 _aMAT018000
_2bisacsh
072 7 _aCOM051010
_2bisacsh
082 0 4 _a005.131
_223
100 1 _aSchöning, Uwe.
_eauthor.
245 1 0 _aLogic for Computer Scientists
_h[electronic resource] /
_cby Uwe Schöning.
264 1 _aBoston, MA :
_bBirkhäuser Boston,
_c2008.
300 _aIX, 168 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgress in Mathematics, Basler Lehrbücher,
_x2197-1803 ;
_v8
505 0 _aPropositional Logic -- Predicate Logic -- Logic Programming.
520 _aThis book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists. This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientists…. Schöning decides to concentrate on computational issues, and gives us a short book (less than 170 pages) with a tight storyline…. I found this a nicely written book with many examples and exercises (126 of them). The presentation is natural and easy to follow…. This book seems suitable for a short course, a seminar series, or part of a larger course on Prolog and logic programming, probably at the advanced undergraduate level. — SIGACT News Contains examples and 126 interesting exercises which put the student in an active reading mode.... Would provide a good university short course introducing computer science students to theorem proving and logic programming. — Mathematical Reviews This book concentrates on those aspects of mathematical logic which have strong connections with different topics in computer science, especially automated deduction, logic programming, program verification and semantics of programming languages.... The numerous exercises and illustrative examples contribute a great extent to a better understanding of different concepts and results. The book can be successfully used as a handbook for an introductory course in artificial intelligence. — Zentralblatt MATH.
650 0 _aComputer science.
650 0 _aMathematical logic.
650 1 4 _aComputer Science.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aMathematical Logic and Foundations.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9780817647629
830 0 _aProgress in Mathematics, Basler Lehrbücher,
_x2197-1803 ;
_v8
856 4 0 _uhttp://dx.doi.org/10.1007/978-0-8176-4763-6
912 _aZDB-2-SMA
950 _aMathematics and Statistics (Springer-11649)
999 _c510045
_d510045