What do you think?
Rate this book
Logic, Language, Formalism, Informalism
Logic, Language, Formalism, Informalism is about the process of formalisation in computing, language theory and mathematics, and is designed for computer science students studying a course in logic.
The text sets out to explain proof and reasoning in a clear and accessible manner and is based on the premise that computer science students require an understanding of the reasoning systems that underpin much computing theory. In examining the process of formalisation, the book also criticizes and challenges the results, helping students to clearly understand these fundamental issues. The language Prolog is used to explain the concepts.
The text sets out to explain proof and reasoning in a clear and accessible manner and is based on the premise that computer science students require an understanding of the reasoning systems that underpin much computing theory. In examining the process of formalisation, the book also criticizes and challenges the results, helping students to clearly understand these fundamental issues. The language Prolog is used to explain the concepts.
246 pages, Paperback
First published April 1, 1999
1 person want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.