Logic and Discrete Mathematics: A Computer Science Perspective

Winfried K. Grassmann, Jean-Paul Tremblay, Winifred Karl Grassman, Winfried K. Grassman

Logic and Discrete Mathematics: A Computer Science Perspective
  • 出版商: Prentice Hall
  • 出版日期: 1995-12-17
  • 售價: $750
  • 貴賓價: 9.5 折 $713
  • 語言: 英文
  • 頁數: 750
  • ISBN: 0132090082
  • ISBN-13: 9780132090087
  • 相關分類: Computer-Science 計算機概論

    • 下單後立即進貨 (約5~7天)

買這商品的人也買了...

相關主題

商品描述

For one/two-semester, sophomore-level courses in Discrete Mathematics.

This text covers all the traditional topics of discrete mathematics — logic, sets, relations, functions, and graphs — and reflects recent trends in computer science.

Table of Contents

1. Propositional Calculus.
2. Predicate Calculus.
3. Induction and Recursion.
4. Prolog.
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.
11. Derivations.
12. An Overview of Relational Database Systems.
Bibliography.
Solutions to Even-numbered Problems.
Index.

類似商品