Author : Jean Goubault-Larrecq
Publisher : Springer Science & Business Media
Page : 448 pages
File Size : 30,86 MB
Release : 2001-11-30
Category : Computers
ISBN : 9781402003684
Book Description
Interest in computer applications has led to a new attitude to applied logic in which researchers tailor a logic in the same way they define a computer language. In response to this attitude, this text for undergraduate and graduate students discusses major algorithmic methodologies, and tableaux and resolution methods. The authors focus on first-order logic, the use of proof theory, and the computer application of automated searches for proofs of mathematical propositions. Annotation copyrighted by Book News, Inc., Portland, OR