This text analyzes and explains the process of formalization in computing and should be useful for students of computer science and software engineering. It sets out to explain proof and reasoning in a clear manner and is based on the premise that computing students require an understanding of the reasoning systems that underpin much computing theory. In examining the process of formalization, 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.
- ISBN10 1850321272
- ISBN13 9781850321279
- Publish Date 22 June 1995
- Publish Status Out of Print
- Out of Print 13 August 1999
- Publish Country GB
- Imprint Cengage Learning EMEA
- Format Paperback
- Pages 300
- Language English