買這商品的人也買了...
-
$3,340$3,173 -
$1,120$1,064 -
$1,350$1,283 -
$1,560$1,529 -
$414$393 -
$539$512 -
$534$507 -
$580$458 -
$534$507 -
$2,700$2,565 -
$1,480$1,450 -
$1,194$1,134 -
$454結構化壓縮感知理論及應用
-
$568Vue.js 設計與實現
-
$1,482Code: The Hidden Language of Computer Hardware and Software, 2/e (Paperback)
-
$654$621 -
$505UNIX xv6 內核源碼深入剖析
-
$954$906 -
$528$502 -
$588$559 -
$680$476 -
$594$564 -
$517高效 C/C++ 調試
-
$760雷達通信的頻譜共享及一體化 關鍵技術與應用
-
$834$792
相關主題
商品描述
Proofs play a central role in advanced mathematics and theoretical computer science, yet many students struggle the first time they take a course in which proofs play a significant role. This bestselling text's third edition helps students transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. Featuring over 150 new exercises and a new chapter on number theory, this new edition introduces students to the world of advanced mathematics through the mastery of proofs. The book begins with the basic concepts of logic and set theory to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for an analysis of techniques that can be used to build up complex proofs step by step, using detailed 'scratch work' sections to expose the machinery of proofs about numbers, sets, relations, and functions. Assuming no background beyond standard high school mathematics, this book will be useful to anyone interested in logic and proofs: computer scientists, philosophers, linguists, and, of course, mathematicians.
商品描述(中文翻譯)
證明在高級數學和理論計算機科學中扮演著核心角色,然而許多學生在第一次修習以證明為重要內容的課程時會感到困難。這本暢銷書的第三版幫助學生從解決問題過渡到證明定理,通過教授他們閱讀和撰寫證明所需的技術。新版本包含超過150個新的練習題和一個關於數論的新章節,通過掌握證明,這本書將學生引入高級數學的世界。書中首先介紹邏輯和集合論的基本概念,以幫助學生熟悉數學的語言及其解釋方式。這些概念作為分析技術的基礎,這些技術可以逐步構建複雜的證明,並使用詳細的「草稿工作」部分來揭示有關數字、集合、關係和函數的證明的運作機制。本書假設讀者的背景僅限於標準的高中數學,對於任何對邏輯和證明感興趣的人來說,這本書都將是有用的:計算機科學家、哲學家、語言學家,當然還有數學家。