数学
An Introduction to Category Theory 谷歌图书
作者: Harold Simmons Cambridge University Press 2011 - 9
Category theory provides a general conceptual framework that has proved fruitful in subjects as diverse as geometry, topology, theoretical computer science and foundational mathematics. Here is a friendly, easy-to-read textbook that explains the fundamentals at a level suitable for newcomers to the subject. Beginning postgraduate mathematicians will find this book an excellent introduction to all of the basics of category theory. It gives the basic definitions; goes through the various associated gadgetry, such as functors, natural transformations, limits and colimits; and then explains adjunctions. The material is slowly developed using many examples and illustrations to illuminate the concepts explained. Over 200 exercises, with solutions available online, help the reader to access the subject and make the book ideal for self-study. It can also be used as a recommended text for a taught introductory course.
2022年7月5日 在读
短小精悍,直给且可爱的入门书。
Life isn't linear, but written words are.
Enjoy yourself and learn something at the same time.
Category theory can sort out the 'routine' aspects of a proof and isolate the 'essential content' of the result. It helps to organize many parts of maths.
本来只需50页,但为了大家容易理解概念,补充了170页的例子、图示。
cs 数学
应试数学:出题人想考什么 豆瓣
作者: 何帅 2021 - 9
高考出题人在每道题里设置了什么“坑”?本质上想考什么知识点?为什么要考这些?大纲上有何依据?如何从出题人意图出发,寻找解题策略?阅卷老师有怎样的阅卷心理?“采分点”又如何判断? 本书既非宏观战略,也非具体解题步骤指导,而是着重分析出题人的构题策略和阅卷人的评分要点。 基于高中数学传统的“听课—做题—考试”模式,提供一种全新的、直线思维之外的解读,即从出题人与阅卷人角度解码高考数学,扩大考生解题视野。
中等数学 豆瓣
本刊由天津师范大学主办。主要读者对象为初、高中学生数学竞赛爱好者,中学教师,数学教研人员。该刊是国内惟一一份以报道数学竞赛为主要内容的刊物。
多年来,《中等数学》杂志在国内数学竞赛领域独树一帜,以其信息量大、内容翔实、资料丰富、独具特色而深受读者欢迎,并成为每年中国中学生数学冬令营营员和IMO中国国家集训队队员的重要参考读物,多次被评为天津市优秀期刊。
2022年3月11日 已读
校图书馆借阅
数学
这也能想到? 豆瓣
guesstimation: Solving the World's Problems on the Back of a Cocktail Napkin
作者: Lawrence Weinstein / John A.Adam 译者: 黄倩 / 何儒 人民邮电出版社 2010 - 8
如果有人问你:人体细胞数量与天空繁星数量比哪个多?1摩尔猫的质量有多大?每天有多少人经过我们的领空?面对这些无厘头问题,你恐怕会手足无措,毫无头绪。让我来告诉你怎样开启估算的魔力,巧妙解答这些问题。
不管你是好学上进的应聘者,还是对开拓思路很有兴趣的“小博士”,这本书都能投你所好,提高你的分析、思考和快速估算的能力。书中提供的分析思路很有创意,定能让你跳出思维的局限,学到其他书本没有讲到的诀窍。
2021年10月28日 想读 Solution mindset. <how to solve it>也都讲过了。答案就在问题里,当理解了问题,自然就有算法了,常用的思考方式也要多练习
思维 科普 数学
庞加莱猜想 豆瓣
作者: [日]春日真人 译者: 孙庆媛 人民邮电出版社 2015 - 11
第35届“日本赏”最优秀奖
PARISCIENCE 2008 优秀奖
获奖作品
日本NHK电视台特别纪录
全景再现世纪难题“庞加莱猜想”的“百年魔咒”
揭秘庞加莱猜想百年挑战历程
记录追寻宇宙的形状与神秘数学家
体验数学“妖物”般的魅力与神秘
这个问题(庞加莱猜想)必将引领我们到达那遥远的世界。
——亨利•庞加莱
与庞加莱猜想的战斗,一着不慎就会“走火入魔”。
——沃尔夫冈•哈肯(Wolfgang Haken,四色定理证明者)
我也曾尝试过一些三维空间的庞加莱猜想研究,但很快就放弃了。我认为我的研究方法应该没什么用。要解决这个难题,显然需要一些新的创想。
——史蒂文•斯梅尔(Steven Smale,1966年菲尔兹奖获得者,高维度庞加莱猜想证明者)
庞加莱猜想中,如果宇宙不是球形的,那么可能会是什么形状呢?……不论宇宙是什么形状,都必定可以分解为最多8种各自不同的几何结构。
——威廉•瑟斯顿(William Thurston,1983年菲尔兹奖获得者)
1904年,法国数学家亨利•庞加莱提出了关于探寻宇宙形状的“庞加莱猜想”,自此后的100年间,不断有数学家向这个千禧难题发起挑战,最终庞加莱猜想被俄罗斯数学家格里戈里•佩雷尔曼以令人惊叹的绝妙方法证明。然而这位神秘的天才数学家却拒绝了2006年菲尔兹奖……
庞加莱猜想究竟是什么?宇宙的形状又如何?佩雷尔曼是如何证明庞加莱猜想的?
本书为日本NHK特别节目制作组关于“庞加莱猜想”的专题纪录,追寻宇宙的形状与神秘数学家的线索、谜题与真相。
数学分析中的典型问题与方法 豆瓣
作者: 裴礼文 编 高等教育出版社 2006 - 4
《数学分析中的典型问题与方法(第2版)》是为正在学习数学分析(微积分)的读者、正在复习数学分析(微积分)准备报考研究生的读者以及从事这方面教学工作的年轻教师编写的。遵循现行教材的顺序,《数学分析中的典型问题与方法(第2版)》全面、系统地总结和归纳了数学分析问题的基本类型,每种类型的基本方法,对每种方法先概括要点,再选取典型而有相当难度的例题,逐层剖析,分类讲解。然后分别配备相应的一套练习。旨在拓宽基础,启发思路,培养学生分析问题和解决问题的能力,作为教材的补充和延伸。此外,对现行教材中比较薄弱的部分,如半连续、凸函数、不等式、等度连续等内容,作了适当扩充。
全书共分7章、36节、246个条目、1382个问题,包括一元函数极限、连续、微分、积分、级数;多元函数极限、连续、微分、积分。
《数学分析中的典型问题与方法(第2版)》大量采用全国部分高校历届硕士研究生数学分析入学试题和部分国外赛题,并参阅了70余种教材、文献及参考书,经过反复推敲、修改和筛选,在几代人长期教学实践的基础上编写而成。选题具有很强的典型性、灵活性、启发性、趣味性和综合性,对培养学生的能力极为有益,可供数学院(系)各专业师生及有关读者参考,书中基本内容(不标*、※符号)也可供参加研究生入学考试数学的考生选择阅读。
此次改版,补充、更新了大量有代表性的新试题、基础性题。增设了“导读”栏目。习题给了提示、再提示或解答。
题目按难易,分为五个档次,☆部分是重点推荐内容,☆号题约420道(占题目总数的三分之一)。酌情选读可大大减轻负担和压力。
2021年10月9日 在读
结合《The Art and Craft of Problem Solving》技战术结合,解决某个题目并不重要,关键在于思想的锻炼,技战术的提高,心理层次的训练,以及知识网络的内化。
经典 数学
Mathematical Methods of Classical Mechanics (Graduate Texts in Mathematics) 豆瓣
作者: V. I. Arnold 译者: A. Weinstein / K. Vogtmann Springer 1997 - 9
In this text, the author constructs the mathematical apparatus of classical mechanics from the beginning, examining all the basic problems in dynamics, including the theory of oscillations, the theory of rigid body motion, and the Hamiltonian formalism. This modern approch, based on the theory of the geometry of manifolds, distinguishes iteself from the traditional approach of standard textbooks. Geometrical considerations are emphasized throughout and include phase spaces and flows, vector fields, and Lie groups. The work includes a detailed discussion of qualitative methods of the theory of dynamical systems and of asymptotic methods like perturbation techniques, averaging, and adiabatic invariance.
2021年8月8日 想读 Poincaré recurrence theorem
数学
重温微积分 豆瓣
作者: 齐民友 高等教育出版社 2004 - 1
《重温微积分》根据作者多年来为各种不同程度的大学生和研究生讲课及讨论班上报告的内容整理而成。第一章对极限理论的发展作了历史的回顾。以下六章分别讨论函数、微分学、积分学、傅里叶分析、实分析与点集拓扑学基础以及微分流形理论。每一章都强调有关理论的基本问题、基本理论和基本方法的历史的背景,其与物理科学的内在联系,其现代的发展与陈述方式特别是它与其他数学分支的关系。同时对一些数学和物理学中重要的而学生常常不了解的问题作了阐述。因此,它涉及了除微积分以外的许多数学分支:主要有实和复分析、微分方程、泛函分析、变分法和拓扑学的某些部分。同样对经典物理学-牛顿力学和电磁学作了较深入的讨论。其目的则是引导学生去重新审视和整理自己已学过的数学知识,并为学习新的数学知识——例如数学物理做准备。
《重温微积分》适合于已学过微积分的基本知识的大学生和研究生进一步自学更现代的数学之用,也可以作为讨论班的材料。《重温微积分》还适合需要较多数学的各专业的人员以及高等学校教师参考之用。
春夜十话 豆瓣
作者: [日]冈洁 译者: 林明月 人民邮电出版社 2019 - 2
我们通常认为,数学是逻辑性的学问,而日本数学家冈洁先生却认为,数学中最重要的是“情绪”。
情绪是影响心智与认知发展的重要因素,若不能培育“健全的情绪”,则很难真正理解数学和创造性是什么。本书从“情绪与心智”的角度,论述了认知发展、义务教育中的深层问题,同时阐述了对人性的 细微考察与独到理解,是一本影响了日本几代人的经典名作。
编辑推荐
每日出版文化奖 获奖图书
日本亚马逊非虚构图书排名第 1名(2014)
日本文化勋章、学士院奖、朝日文化奖得主
冈洁 长销名著
天才数学家的极意文集
影响几代人的不朽名作
媒体推荐
听闻冈洁先生的随笔集《春夜十话》将被光文社修订再版,我不胜欣喜。我曾在40年前留美期间拜读过此书,如今再读之仍觉受益匪浅。书中冈洁先生对数学的思考、对教育方法的考察以及对日本世态的批判仍具有警醒现世之力。
——有马朗人(日本科学技术馆馆长、武藏学园理事长、原文部大臣、原东京大学校长)
思考的乐趣 豆瓣 Goodreads
8.5 (28 个评分) 作者: 顾森 人民邮电出版社 2012 - 6
本书是一个疯狂数学爱好者的数学笔记,面向所有喜爱数学的读者。从2005年7月开始,作者已经写了连续六年的博客,积累下来了大量的数学文章。 部分文章内容被广泛关注,在网络上大量分享转载。
这本书有意挑选了初等的话题,让大大小小的读者都能没有障碍地阅读。文章内容新,让有数学背景的人也会发现很多自己没见过的初等问题。 文章是独立的。一篇文章一个话题,文章与文章之间基本不会做参考,读者可以随意跳着看。
文章内容注重思想性,基本上是原创,没有什么版权争议。
总之,这是一本标新立异的趣味数学书。每一个读过的人都会被深深吸引。这是一个热爱思考的年轻人积攒的让人一读就欲罢不能的趣味书。
本书包括5部分内容,即生活中的数学、数学之美、几何的大厦、精妙的证明、思维的尺度,涉及48篇精彩的文章。即使你不喜欢数学,也会为本书的精彩所倾倒。
绳圈的数学 豆瓣
作者: 姜伯驹 大连理工大学出版社 2011 - 5
《走向数学丛书04-绳圈的数学》,本书主要介绍了纽结与链环的基本概念、琼斯多项式等。
怎样解题(第3版) 豆瓣
The Art and Craft of Problem Solving (3/e)
作者: [美] 保罗·蔡茨 译者: 李胜宏 / 黄志斌 人民邮电出版社 2019 - 11
本书作者中学时代即亲身参加过国际奥林匹克数学竞赛,后来又长期负责培训数学竞技选手,具有丰富的解题经验。在书中,他总结了典型的解题方法,提供了系统而独到的观点。众多例题和习题选自各国数学竞赛真题,极具实战性,让你尽览不同风格的种类难题,尽享解题之美。
本书主要是为了帮助大家学习两个方面的内容:解决问题的方法和特定的数学思想。通过阅读这本书,你将会逐步学到更多的数学知识,也将会对解决问题越来越熟练。你在某一个领域所取得的进步将会激励你在更多的领域获得成功。
2020年11月25日 在读
Leetcode - 164. Maximum Gap 鸽笼定理。Leetcode 1654 - Minimum Jumps to Reach Home 贝祖数 MIT 6.006 递归思路模板 (SRT BOT)
1. Subproblem definition
2. Relate subproblem solutions recursively
3. Topological order on subproblems (⇒ subproblem DAG) 4. Base cases of relation
5. Original problem solution via subproblem(s)
6. Time analysis
2019 科普 数学 科学 思维
Abstract Algebra, 3rd Edition 豆瓣
作者: David S. Dummit / Richard M. Foote John Wiley & Sons 2003 - 6
Widely acclaimed algebra text. This book is designed to give the reader insight into the power and beauty that accrues from a rich interplay between different areas of mathematics. The book carefully develops the theory of different algebraic structures, beginning from basic definitions to some in-depth results, using numerous examples and exercises to aid the reader's understanding. In this way, readers gain an appreciation for how mathematical structures and their interplay lead to powerful results and insights in a number of different settings.
* The emphasis throughout has been to motivate the introduction and development of important algebraic concepts using as many examples as possible.
2020年7月24日 在读
Socratica. For Category Theory, for Haskell, RxJava, etc.
数学
Modeling Life: The Mathematics of Biological Systems 豆瓣
作者: Alan Garfinkel Springer 2017 - 9
This book develops the mathematical tools essential for students in the life sciences to describe interacting systems and predict their behavior. From predator-prey populations in an ecosystem, to hormone regulation within the body, the natural world abounds in dynamical systems that affect us profoundly. Complex feedback relations and counter-intuitive responses are common in nature; this book develops the quantitative skills needed to explore these interactions.
Differential equations are the natural mathematical tool for quantifying change, and are the driving force throughout this book. The use of Euler’s method makes nonlinear examples tractable and accessible to a broad spectrum of early-stage undergraduates, thus providing a practical alternative to the procedural approach of a traditional Calculus curriculum. Tools are developed within numerous, relevant examples, with an emphasis on the construction, evaluation, and interpretation of mathematical models throughout. Encountering these concepts in context, students learn not only quantitative techniques, but how to bridge between biological and mathematical ways of thinking.
Examples range broadly, exploring the dynamics of neurons and the immune system, through to population dynamics and the Google PageRank algorithm. Each scenario relies only on an interest in the natural world; no biological expertise is assumed of student or instructor. Building on a single prerequisite of Precalculus, the book suits a two-quarter sequence for first or second year undergraduates, and meets the mathematical requirements of medical school entry. The later material provides opportunities for more advanced students in both mathematics and life sciences to revisit theoretical knowledge in a rich, real-world framework. In all cases, the focus is clear: how does the math help us understand the science?
A Visual Introduction to Differential Forms and Calculus on Manifolds 豆瓣
作者: Jon Pierre Fortney Birkhäuser 2018 - 11
This book explains and helps readers to develop geometric intuition as it relates to differential forms. It includes over 250 figures to aid understanding and enable readers to visualize the concepts being discussed. The author gradually builds up to the basic ideas and concepts so that definitions, when made, do not appear out of nowhere, and both the importance and role that theorems play is evident as or before they are presented. With a clear writing style and easy-to- understand motivations for each topic, this book is primarily aimed at second- or third-year undergraduate math and physics students with a basic knowledge of vector calculus and linear algebra.
2020年6月1日 想读 zhihu:哪些数学书让你相见恨晚?
数学
Probability Theory 豆瓣 Goodreads
Probability Theory: The Logic of Science
作者: E. T. Jaynes Cambridge University Press 2003 - 6
The standard rules of probability can be interpreted as uniquely valid principles in logic. In this book, E. T. Jaynes dispels the imaginary distinction between 'probability theory' and 'statistical inference', leaving a logical unity and simplicity, which provides greater technical power and flexibility in applications. This book goes beyond the conventional mathematics of probability theory, viewing the subject in a wider context. New results are discussed, along with applications of probability theory to a wide variety of problems in physics, mathematics, economics, chemistry and biology. It contains many exercises and problems, and is suitable for use as a textbook on graduate level courses involving data analysis. The material is aimed at readers who are already familiar with applied mathematics at an advanced undergraduate level or higher. The book will be of interest to scientists working in any area where inference from incomplete information is necessary.
2019年11月10日 在读
知乎 阿莱克西斯 推荐
数学
统计学关我什么事 豆瓣 Goodreads
作者: [日]小岛宽之 译者: 罗梦迪 北京时代华文书局 2018 - 6
本书抛开让人难以理解的“贝叶斯公式”,用“面积图”做直观形象的解读。只要会做四则运算,就能快速入门,进而在一个个生活场景中,领会贝叶斯统计学的精髓。贝叶斯统计学的优势在于“在数据少的情况下也可以进行推测”,贝叶斯统计学的统计过程和人脑的决策过程是很相似的,在人工智能时代有着广泛的商业应用。微软操作系统、谷歌的自动翻译系统等都引入了贝叶斯统计技术。如果能够熟练掌握贝叶斯统计,个人也能够更好地做决策,可以说与好的生活息息相关。
Conceptual Mathematics: A First Introduction to Categories 豆瓣
作者: F. William Lawvere / Stephen H. Schanuel Cambridge University Press 2009 - 8
In the last 60 years, the use of the notion of category has led to a remarkable unification and simplification of mathematics. Conceptual Mathematics, Second Edition, introduces the concept of ’category’ for the learning, development, and use of mathematics, to both beginning students and general readers, and to practicing mathematical scientists. The treatment does not presuppose knowledge of specific fields, but rather develops, from basic definitions, such elementary categories as discrete dynamical systems and directed graphs; the fundamental ideas are then illuminated by examples in these categories.
2019年10月25日 在读
If you'd like more motivation, I highly recommend Barry Mazur's wonderful article When is one thing equal to some other thing? And for a friendly, gentle introduction to categories, you may enjoy Conceptual Mathematics: A First Introduction to Categories by William Lawvere and Stephen Schanuel.
计算机科学 数学
维度:数学漫步 (2008) 豆瓣
Dimensions: A Walk Through Mathematics
9.4 (42 个评分) 导演: Jos Leys / Étienne Ghys
《维度:数学漫步(Dimensions: a walk through mathematics)》是两小时长的CG科普电影,讲述了许多深奥的数学知识,如4维空间中的正多胞体、复数、分形(fractals)、纤维化理论(fibrations)等等。
Mathematics for Computer Science 豆瓣
作者: Lehman Eric / Leighton F Thomson Samurai Media Limited 2017 - 3
This book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods. Topics include formal logic notation, proof methods; induction, well-ordering; sets, relations; elementary graph theory; integer congruences; asymptotic notation and growth of functions; permutations and combinations, counting principles; discrete probability. Further selected topics may also be covered, such as recursive definition and structural induction; state machines and invariants; recurrences; generating functions.