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