## Foundations of Computing: System Development with Set Theory and LogicWritten for professionals learning the field of discrete mathematics, this book provides the necessary foundations of computer science without requiring excessive mathematical prerequisites. Using a balanced approach of theory and examples, software engineers will find it a refreshing treatment of applications in programming. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Prologue | 3 |

Set Theory and Induction | 33 |

Relations and Functions | 89 |

Copyright | |

16 other sections not shown

### Common terms and phrases

Alloc application arity axioms base set bijection Bool called cartesian product Chapter codomain computing condition Consequently Consider construction couple cursor deduction defined definition denoted described determined dictionary disjoint domain elements empty empty set equivalent establish example Exercise extension Feature Notation finite first-order logic Forest formal ForOrd ForOVl FPts function F function symbol given Gr(F Gr(R graph implies induction principle inductive set instance introduced isomorphism KReTypes KTasks L'Pts language ListPtd0 ListVl LPts n-ary n-ary function n-tuple natural numbers Note objects occur operations parse tree precondition predicate symbol proof propositional logic relation represented rule satisfied secondary features Section semantics set theory specified string structural induction subset substitutable successor function task tautology theorem total function TPts TreePtd0 true truth assignment truth table unary Vals variable features Wfes