Logic for Computer Scientists

Name: Logic for Computer Scientists
Price: 21.64 USD
Availability: InStock
ISBN: 9780817647629

ISBN-10: 0817647627

ISBN-13: 9780817647629

Edition: 1989

Authors: Uwe Schï¿½ning

List price: $44.95

This item qualifies for FREE shipping.

30 day, 100% satisfaction guarantee!

Sell

Get cash fast!

Buy new: $58.42

Marketplace

3 new & used from $21.64

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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. 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 scientistsa ]. SchAning decides to concentrate on…

Book details

List price: $44.95
Copyright year: 1989
Publisher: Birkhauser Verlag GmbH
Publication date: 1/25/2008
Binding: Paperback
Pages: 168
Size: 6.00" wide x 9.25" long x 0.75" tall
Weight: 0.814
Language: English



Introduction



Propositional Logic



Foundations



Equivalence and Normal Forms



Horn Formulas



The Compactness Theorem



Resolution



Predicate Logic



Foundations



Normal Forms



Undecidability



Herbrand's Theory



Resolution



Refinements of Resolution



Logic Programming



Answer Generation



Horn Clause Programs



Evaluation Strategies



PROLOG


Bibliography


Table of Notations


Index