Systems Construction and Analysis: A Mathematical and Logical Framework
Norman Fenton, Gillian Hill · McGraw-Hill, Inc. eBooks · 1992
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.