Logic, Language, Formalism, Informalism - Softcover

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.