Modelling Computing Systems: Mathematics for Computer Science (Undergraduate Topics in Computer Science) (計算系統建模:計算機科學的數學(計算機科學本科主題))

Faron Moller, Georg Struth

  • 出版商: Springer
  • 出版日期: 2013-07-24
  • 定價: $2,450
  • 售價: 8.0$1,960
  • 語言: 英文
  • 頁數: 500
  • 裝訂: Paperback
  • ISBN: 1848003218
  • ISBN-13: 9781848003217
  • 相關分類: Computer-Science
  • 立即出貨 (庫存=1)

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

相關主題

商品描述

This engaging text presents the fundamental mathematics and modelling techniques for computing systems in a novel and light-hearted way, which can be easily followed by students at the very beginning of their university education. Key concepts are taught through a large collection of challenging yet fun mathematical games and logical puzzles that require no prior knowledge about computers. The text begins with intuition and examples as a basis from which precise concepts are then developed; demonstrating how, by working within the confines of a precise structured method, the occurrence of errors in the system can be drastically reduced. 

 
Features: demonstrates how game theory provides a paradigm for an intuitive understanding of the nature of computation; contains more than 400 exercises throughout the text, with detailed solutions to half of these presented at the end of the book, together with numerous theorems, definitions and examples; describes a modelling approach based on state transition systems.

商品描述(中文翻譯)

這本引人入勝的書以一種新穎且輕鬆的方式呈現了計算系統的基本數學和建模技術,非常適合大學教育初學者閱讀。通過一系列具有挑戰性但有趣的數學遊戲和邏輯謎題,學生可以輕鬆理解關鍵概念,而無需對計算機有任何先備知識。本書以直觀和例子作為基礎,進一步發展出精確的概念,展示了通過在精確結構化方法的框架內工作,系統中的錯誤發生可以大大減少。

特點:展示了博弈論如何提供對計算本質的直觀理解範式;全書共有400多個練習題,其中一半的詳細解答在書末提供,還包括許多定理、定義和例子;描述了一種基於狀態轉換系統的建模方法。