Software Engineering Mathematics

Formal systems; propositional logic and calculus; predicate logic and calculus; theories; set theory; relations; functions; sequences; case study: a telephone exchange; case study: a mathematical theory; algebraic specifications.