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.

商品描述(中文翻譯)

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

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