Systems Construction and Analysis
A Mathematical and Logical Framework
Published on 1. August 1992
Book
Paperback/Softback
448 pages
978-0-07-707431-9 (ISBN)
Description
This text provides the discrete mathematics needed as a rigorous foundation for the construction and analysis of application systems. Construction involves development within formal linguistic systems and analysis involves external assessment and measurement. The foundation provided by this book allows for many applications to be discussed in detail. A gentle introduction to discrete mathematics and formal systems allows a gradual pace of learning for the student and examines ideas before giving a serious exposition of mathematical logic that emphasizes the link between theories in formal languages and their models. The major programming paradigms are linked to approaches to specification and verified by the axiomatic method. This book is aimed at second and third year undergraduates, as well as MSc computing students.
More details
Language
English
Place of publication
London
United Kingdom
Publishing group
McGraw-Hill Education - Europe
Target group
College/higher education
Illustrations
111ill.
Dimensions
Height: 246 mm
Width: 189 mm
Weight
900 gr
ISBN-13
978-0-07-707431-9 (9780077074319)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Part 1 Mathematical foundations: fundamentals of discrete mathematics; the calculus of propositional logic; proof; the calculus of predicate logic; proof within predicate logic; formal languages; algebra; the calculus of functions. Part 2 Theoretical framework for systems construction: models of computation for programming; verification of algorithm correctness; graph models for structured programming. Part 3 Theoretical framework for systems analysis; probability theory; algorithmic and computational complexity; coding theory; measurement theory.