Logical Methods: The Art of Thinking Abstractly and Mathematically
暫譯: 邏輯方法：抽象與數學思考的藝術
Antonsen, Roger
- 出版商: Springer
- 出版日期: 2021-02-11
- 售價: $2,040
- 貴賓價: 9.5 折 $1,938
- 語言: 英文
- 頁數: 288
- 裝訂: Quality Paper - also called trade paper
- ISBN: 303063776X
- ISBN-13: 9783030637767
海外代購書籍(需單獨結帳)
商品描述
Many believe mathematics is only about calculations, formulas, numbers, and strange letters. But mathematics is much more than just crunching numbers or manipulating symbols. Mathematics is about discovering patterns, uncovering hidden structures, finding counterexamples, and thinking logically. Mathematics is a way of thinking. It is an activity that is both highly creative and challenging.
This book offers an introduction to mathematical reasoning for beginning university or college students, providing a solid foundation for further study in mathematics, computer science, and related disciplines. Written in a manner that directly conveys the sense of excitement and discovery at the heart of doing science, its 25 short and visually appealing chapters cover the basics of set theory, logic, proof methods, combinatorics, graph theory, and much more.
In the book you will, among other things, find answers to:
- What is a proof? What is a counterexample?
- What does it mean to say that something follows logically from a set of premises?
- What does it mean to abstract over something?
- How can knowledge and information be represented and used in calculations?
- What is the connection between Morse code and Fibonacci numbers?
- Why could it take billions of years to solve Hanoi's Tower?
Logical Methods is especially appropriate for students encountering such concepts for the very first time. Designed to ease the transition to a university or college level study of mathematics or computer science, it also provides an accessible and fascinating gateway to logical thinking for students of all disciplines.
商品描述(中文翻譯)
許多人認為數學僅僅是計算、公式、數字和奇怪的字母。但數學遠不止於此，它不僅僅是處理數字或操作符號。數學是關於發現模式、揭示隱藏結構、尋找反例以及進行邏輯思考。數學是一種思維方式。這是一項既具創造性又具挑戰性的活動。
本書為初學大學或專科學生提供數學推理的入門，為進一步學習數學、計算機科學及相關學科奠定堅實的基礎。書中以直接傳達科學探索的興奮感和發現感的方式撰寫，共有25個短小且視覺吸引人的章節，涵蓋集合論、邏輯、證明方法、組合學、圖論等基本概念。
在本書中，您將找到以下問題的答案：
- 什麼是證明？什麼是反例？
- 說某事從一組前提中邏輯上推導出來意味著什麼？
- 抽象某事意味著什麼？
- 知識和信息如何在計算中表示和使用？
- 摩斯密碼與費波那契數之間有什麼聯繫？
- 為什麼解決漢諾塔問題可能需要數十億年？
《邏輯方法》特別適合第一次接觸這些概念的學生。它旨在幫助學生順利過渡到大學或專科層次的數學或計算機科學學習，並為各學科的學生提供一個可接近且引人入勝的邏輯思維入門。
作者簡介
Roger Antonsen is Associate Professor in the Department of Informatics at the University of Oslo, where he has taught Logical Methods to thousands of students since 2010. He is a logician, mathematician, computer scientist, author, public speaker, science communicator, and artist. His interests range from proof theory, cellular automata, algorithms, and complexity to science communication, outreach, digital art, and visualizations.
To see Roger in action as a science communicator, watch his TED Talk:
ted.com/speakers/roger_antonsen
作者簡介(中文翻譯)
羅傑·安頓森（Roger Antonsen）是奧斯陸大學資訊學系的副教授，自2010年以來，他已經教授邏輯方法給數千名學生。他是一位邏輯學家、數學家、計算機科學家、作家、公共演講者、科學傳播者和藝術家。他的興趣範圍從證明理論、細胞自動機、演算法和複雜性到科學傳播、外展、數位藝術和視覺化。
要觀看羅傑作為科學傳播者的表現，請觀看他的TED演講：
ted.com/speakers/roger_antonsen
