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.
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.
Sprache
Verlagsort
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Illustrationen
Maße
ISBN-13
978-1-85032-127-9 (9781850321279)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
Prelimeraries; formal grammars and languagues; propositional calculus semantics; formal reasoning systems for the propositional calculus; logic programming (simple prolog); using function symbols and lists in prolog; predicate calculus semantics; a formal system for the predicate calculus; the axiomatic method; the Godel incompleteness theorem; collections of interacting processes.
