Mathematics for Computer Science

Lehman, Eric, Leighton, F. Thomson, Meyer, Albert R.

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

商品描述

This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods. Topics include formal logic notation, proof methods; induction, well-ordering; sets, relations; elementary graph theory; integer congruences; asymptotic notation and growth of functions; permutations and combinations, counting principles; discrete probability. Further selected topics may also be covered, such as recursive definition and structural induction; state machines and invariants; recurrences; generating functions.

The color images and text in this book have been converted to grayscale.

商品描述(中文翻譯)

本書涵蓋了計算機科學和工程的基礎離散數學。它強調數學定義和證明以及應用方法。主題包括形式邏輯符號、證明方法;歸納、良序;集合、關係;基礎圖論;整數同餘;漸進符號和函數增長;排列組合、計數原理;離散概率。還可能涵蓋其他選定的主題,如遞歸定義和結構歸納;狀態機和不變量;遞迴;生成函數。

本書中的彩色圖像和文字已轉換為灰階。