Logic and discrete mathematics: a computer science perspective
Author: GRASSMANLanguage: Anglais
Approximative price 81.16 €
Subject to availability at the publisher.Add to cart the livre of GRASSMAN
650 p. · 23.5x17.8 cm · Hardback
- 1. Propositional Calculus
2. Predicate Calculus
3. Induction and Recursion
5. Sets and Relations
6. More About Functions
7. Graphs And Trees
8. Formal Requirement Specification in Z
9. Program Correctness Proofs
10. Grammars, Languages, and Parsing
12. An Overview of Relational Database Systems.
Solutions to Even-numbered Problems.
- Gives a more thorough exposure to logic reasoning than most other texts.
- Shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way.
- Contain chapters on language and grammars, and relational database.
- Describes Prolog, a programming language based on logic, and a section on Miranda, language based on functions.
- Features numerous examples which relate the mathematical concepts to problems in computer science.