Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science)
暫譯: 計算機科學的集合、邏輯與數學（計算機科學本科主題）

David Makinson

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

相關主題

商品描述

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.

商品描述(中文翻譯)

這本易於理解的教科書介紹了本科生學習計算所需的數學語言、知識和解決問題的技能。這種語言部分是定性的，包含集合、關係、函數和遞歸/歸納等概念；但它也部分是定量的，涵蓋計數原則和有限概率。邏輯的基本概念及其在表示和證明中的應用與這兩者交織在一起。

特色：將有限數學作為思考的語言教授，與獲得的知識和技能同等重要；採用直觀的方法，重點放在所有一般概念的例子上；突顯定性與定量在所有涵蓋領域中的相互作用，特別是在遞歸和歸納的處理上；小心平衡抽象與具體、原則與證明、具體事實與一般觀點；包括突出框，提出常見問題並澄清混淆；提供大量練習題，並附有選定的解答。

類似商品

最後瀏覽商品 (20)