Logic and Discrete Mathematics: A Computer Science Perspective
Winfried K. Grassmann, Jean-Paul Tremblay, Winifred Karl Grassman, Winfried K. Grassman
- 出版商: Prentice Hall
- 出版日期: 1995-12-17
- 售價: $750
- 貴賓價: 9.5 折 $713
- 語言: 英文
- 頁數: 750
- ISBN: 0132090082
- ISBN-13: 9780132090087
-
相關分類:
Computer-science-introduction 計算機概論
下單後立即進貨 (3週~5週)
買這商品的人也買了...
-
![]()
Java 2 全方位學習(J2SE 5.0 增修版)$750售價: $593 -
![]()
人月神話：軟體專案管理之道 (20 週年紀念版)(The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition, 2/e)$480售價: $379 -
![]()
Linux iptables 技術實務─防火牆、頻寬管理、連線管制$620售價: $527 -
![]()
嵌入式 C 語言 (Embedded C)$450售價: $356 -
![]()
JSP 2.0 技術手冊$750售價: $593 -
![]()
Linux 網路管理實務: 調校、帳號、監控、安全$580售價: $493 -
![]()
貴賓價: $1,976Head First Design Patterns (Paperback) -
![]()
Head First Servlets & JSP：SCWCD 專業認證指南 (Head First Servlets & JSP)$880貴賓價: $748 -
![]()
敏捷軟體開發：原則、樣式及實務 (Agile Software Development: Principles, Patterns, and Practices)$780售價: $616 -
![]()
Shell Programming 333 個應用範例技巧大全集$560售價: $437 -
![]()
Dreamweaver MX 2004 魔法書中文版$490售價: $417 -
![]()
建構嵌入式 Linux 系統$780售價: $616 -
![]()
CCNA 認證教戰手冊 Exam 640-801 (CCNA Cisco Certified Network Associate Study Guide, 4/e)$780售價: $663 -
![]()
FreeBSD 5.x 架設管理與應用$490售價: $382 -
![]()
Microsoft Windows Server 2003 系統實務$780售價: $663 -
![]()
Microsoft Windows Server 2003 架站實務$580售價: $493 -
![]()
JSP 與 Servlet 500 個應用範例技巧大全集$590售價: $460 -
![]()
貴賓價: $2,161Exploiting Software : How to Break Code (Paperback) -
![]()
C# Primer Plus 中文版 (C# Primer Plus)$680售價: $537 -
![]()
矽谷大革命－麥金塔共同開發者 (Revolution in the Valley)$450售價: $356 -
![]()
Web CSS 網頁樣式設計學 (Cascading Style Sheets Standard Design Guide)$580售價: $452 -
![]()
打造個性化 XOOPS2 網站─佈景設計、模組開發$580貴賓價: $458 -
![]()
Windows CE 嵌入式系統理論與實務$680售價: $517 -
![]()
發誓學會 Flash MX 2004 ActionScript$620貴賓價: $490 -
![]()
精通 Java Swing 程式設計$650售價: $553
商品描述
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.