## Computer Systems Modelling & Development: A Disciplined Approach, Volume 1 |

### What people are saying - Write a review

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

### Contents

MATHEMATICS AND LANGUAGE | 1 |

THE WATERSHED MATHEMATICS BECOMES COMPUTING | 9 |

SYSTEMS MODELLING | 11 |

Copyright | |

10 other sections not shown

### Other editions - View all

### Common terms and phrases

abstract answer argument atom axioms behaviour biconditional binary boy(b Cartesian Product chapter computing conjunction conjunctive normal form Consider corresponding database defined definition disjunction domain of discourse dots End of Example entailed equivalent existential quantification F F F fact Figure formal language free variables girl(g given grammar guage Hence Horn clause idea infer integer interpretation introduced ISBN legal sentences likes(b,g logical connectives MDL1 MDL2 meaning meaning_of method natural deduction negation negation as failure normal form notation objects parsed partial function polytechnic lecturers possible predicate logic prefix expressions premises problem proceed as follows programming language PROLOG propositional logic propositional symbols prove quantifier reader reason relation resolution refutation semantic rule sequent set of sentences Similarly statements structure subset subsystems tence The_Method theorem theory tion total function truth table truth value valid whilst words