MTU Library Catalogue

Syndetics cover image
Image from Syndetics

Systems construction and analysis : a mathematical and logical framework / Norman Fenton and Gillian Hill.

By: Fenton, Norman E, 1956-.
Contributor(s): Hill, Gillian.
Material type: materialTypeLabelBookSeries: McGraw-Hill international series in software engineering: Publisher: London ; New York : McGraw-Hill, c1993Description: xiv, 465 p. : ill. ; 25 cm.ISBN: 0077074319 .Subject(s): System design | System analysisDDC classification: 003
Contents:
I: Mathematical foundations -- Introduction -- Discrete maths fundamentals -- The calculus of propositional logic -- Proof -- The calculus of predicate logic -- Proof within predicate logic -- Formal languages -- Algebras -- The calculus of functions -- II: Theoretical framework for systems construction -- Formal specification -- Models of computation for programming -- Verification of algorithm correctness -- Graph models for structured programming -- III: Theoretical framework for systems analysis -- Probability theory -- Algorithmic and computational complexity -- Coding theory -- Measurement theory.
Holdings
Item type Current library Call number Copy number Status Barcode
General lending MTU Bishopstown Library Lending 003 (Browse shelf(Opens below)) 1 Available 00014785
Total holds: 0

Enhanced descriptions from Syndetics:

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.

Bibliography: (pages 449-452) and index.

I: Mathematical foundations -- Introduction -- Discrete maths fundamentals -- The calculus of propositional logic -- Proof -- The calculus of predicate logic -- Proof within predicate logic -- Formal languages -- Algebras -- The calculus of functions -- II: Theoretical framework for systems construction -- Formal specification -- Models of computation for programming -- Verification of algorithm correctness -- Graph models for structured programming -- III: Theoretical framework for systems analysis -- Probability theory -- Algorithmic and computational complexity -- Coding theory -- Measurement theory.