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