Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science)

David Makinson

  • 出版商: Springer
  • 出版日期: 2012-02-28
  • 售價: $1,736
  • 貴賓價: 9.5$1,649
  • 語言: 英文
  • 頁數: 283
  • 裝訂: Paperback
  • ISBN: 1447124995
  • ISBN-13: 9781447124993
  • 相關分類: 計算機概論

下單後立即進貨 (1週~2週)

商品描述

This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic and their use for representation and proof. 

Features: teaches finite math as a language for thinking, as much as knowledge and skills to be acquired; uses an intuitive approach with a focus on examples for all general concepts; brings out the interplay between the qualitative and the quantitative in all areas covered, particularly in the treatment of recursion and induction; balances carefully the abstract and concrete, principles and proofs, specific facts and general perspectives; includes highlight boxes that raise common queries and clear confusions; provides numerous exercises, with selected solutions.