Logic for Computer Science: Foundations of Automatic Theorem-Proving (Harper & Row Computer Science and Technology Series) - Hardcover

Gallier, Jean H.

  • 4.45 out of 5 stars
    11 ratings by Goodreads
 
9780471603283: Logic for Computer Science: Foundations of Automatic Theorem-Proving (Harper & Row Computer Science and Technology Series)
Hardcover
ISBN 10: 0471603287 ISBN 13: 9780471603283
Publisher: Wiley, 1985

This specific ISBN edition is currently not available.

Synopsis

Covers the mathematical logic necessary to computer science, emphasizing algorithmic methods for solving proofs. Treatment is self-contained, with all required mathematics contained in Chapter 2 and the appendix. Provides readable, inductive definitions and offers a unified framework using Getzen systems. Offers unique coverage of congruence, and contains an entire chapter devoted to SLD resolution and logic programming (PROLOG). Includes applications to artificial intelligence. Each chapter contains worked examples, programming assignments, problems graded according to difficulty, and historical remarks and suggestions for further reading.

"synopsis" may belong to another edition of this title.

Publisher
Wiley
Publication date
1985
Language
English
ISBN 10 
0471603287
ISBN 13 
9780471603283
Binding
Hardcover
Edition number
1
Number of pages
528
Rating
  • 4.45 out of 5 stars
    11 ratings by Goodreads

Other Popular Editions of the Same Title

9780060422257: Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)

Featured Edition

ISBN 10:  0060422254 ISBN 13:  9780060422257
Publisher: Longman Higher Education, 1986
Hardcover