Clausal Form Logic: An Introduction to the Logic of Computer Programming (International Computer Science Series) - Softcover

Richards, Tom

 
9780201129205: Clausal Form Logic: An Introduction to the Logic of Computer Programming (International Computer Science Series)
Softcover
ISBN 10: 0201129205 ISBN 13: 9780201129205
Publisher: Addison-Wesley, 1989

Synopsis

Clausal form logic is an important type of formal logic. Having evolved out of human reasoning, it represents the ideas to which all computer-based systems must approximate. Most present day computational logic systems are based on it, including the well-known artificial intelligence language PROLOG

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

From the Back Cover

This unique book provides a gentle introduction to an increasingly important type of formal logic called CLAUSAL FORM LOGIC (CFL). Having evolved out of human reasoning, CFL represents the ideal to which all computer-based systems must approximate. Most present day computational logic systems are based on it, including the well-know artificial intelligence language PROLOG.

About the Author

Richards is a Mathematics Teacher at Lamar Junior-Senior High School in Lamar, Missouri.

Tom Richards has worked as a development officer at Crown College in Minneapolis, Minnesota, since 2006 and formerly served as an associate minister to youth at Grace Church in Eden Prairie, Minnesota. Toms passion for engaging young people in Gods Word has fueled his twenty years of work with high school and college students. He travels the Midwest challenging students to dare to dream the dreams God has for them.

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

Publisher
Addison-Wesley
Publication date
1989
Language
English
ISBN 10 
0201129205
ISBN 13 
9780201129205
Binding
Paperback
Number of pages
359