101,89 €
Logic for Computer Scientists
Logic for Computer Scientists
  • Sold out
Logic for Computer Scientists
Logic for Computer Scientists
El. knyga:
101,89 €
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples and exercises. 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 a…
0

Logic for Computer Scientists (e-book) (used book) | bookbook.eu

Reviews

(3.36 Goodreads rating)
Rate it too! All reviews

Description

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples and exercises. 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.

101,89 €
Log in and for this item
you will receive 1,02 Book Euros! ?

Electronic book:
Delivery after ordering is instant! Intended for reading only on a computer, tablet or other electronic device.

Lowest price in 30 days: 101,89 €

Lowest price recorded: Price has not changed

  • Author: Uwe Schöning
  • Publisher:
  • Year: 2009
  • ISBN: 9780817647636
  • ISBN-10: 0817647635
  • ISBN-13: 9780817647636
  • Format: PDF
  • Language: English English

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples and exercises. 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.

Reviews

  • No reviews
0 customers have rated this item.
5
0%
4
0%
3
0%
2
0%
1
0%
(will not be displayed)