## Logic and Discrete Mathematics: A Computer Science Perspective |

### What people are saying - Write a review

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

### Contents

vi | 26 |

Predicate Calculus | 59 |

Induction and Recursion | 121 |

Copyright | |

12 other sections not shown

### Other editions - View all

### Common terms and phrases

adjacency list adjacency matrix algebra algorithm arguments assignment Assume called Cartesian product clause conclusion consider contains cycle database deduction theorem deﬁned deﬁnition denoted derivation digraph disjunction domain edge elements example fact faculty false ﬁle ﬁnal ﬁnd ﬁnite ﬁrst given in Figure goal grammar graph Hence identiﬁer Inductive hypothesis inductive step inﬁnite input instance instantiation integer language logical expression logically equivalent loop matrix n-tuple natural numbers negation node notation obtained operation output P A Q P V Q pairs parse path piece of code postcondition precondition premises primitive recursive functions problem procedure Prolog proof propositional propositional calculus prove query reﬂexive relation relational algebra represent result rule of inference satisﬁes schema Section sequence Solution spanning tree speciﬁcation statement string student subexpressions subset symbol tautology theorem top-down parsing true truth table truth value tuple undirected graph uniﬁed valid variable vertex yields