範疇論（英語：Category theory）是數學的一門學科，是关于数学结构及其关系的一般理论，以抽象的方法處理數學概念，將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化為範疇。使用範疇論可以令這些領域中許多難理解、難捉摸的數學結論更容易敘述證明。 一个范畴包含两类数学...

数学系合并组成复旦大学数学系。由原复旦大学陈传璋教授任系主任。 数学系和数学研究所下设4个教研室、6个研究室、博士后流动站、教育部所属的非线性数学模型和方法开放实验室、数学学科实验室、数学学科图书资料室和数学系教学实验室。苏步青、陈建功、谷超豪等为中国数学界泰斗。...

数学上，空间是指一种具有特殊性质及一些额外结构的集合（有时称为全集）。在初等數學或中學數學中，空間通常指三維空間。 现代数学使用了多种类型的空间，如欧几里得空间、线性空间、拓扑空间、希尔伯特空间或概率空间，但并不存在單稱為「空間」的數學物件。 空间由被视为点的数学对象和点之间的关系组成。...

信息与计算科学系，现任主任姜明。 金融数学系，现任主任吴岚。 数学研究所，现任所长王诗宬。 “数学及其应用”重点实验室。 北大数院现为“国家理科基础研究与人才培养基地”，设有4个本科专业： 数学与应用数学专业，包括基础数学方向和金融数学方向 信息与计算科学专业，包括计算数学方向和信息科学方向 统计学专业，包括概率论、统计学、生物统计学三个方向...

数学模型 數學模型（mathematical model）是使用數學來將一個系統簡化後予以描述。數學模型廣泛應用在自然科學（如物理學、化學、生物學、宇宙學）、工程学科（如计算机科学，人工智能）、以及社會科學（如經濟學、心理學、社會學和政治科學）上。科學家和工程師用模型來解释一个系统，研究不同组成部分...

實際上，用文字形式寫成的數學證明，在大多數情況都可以視為非形式邏輯的應用。在證明論的範疇內，則考慮那些用純形式化的语言写出的證明。這個区别导致了对過往到現在的數學实践、數學上的擬經驗論（英语：Quasi-empiricism in mathematics）和民俗数学（英语：Folk mathematics）的大部分检验。...

在範疇論中，範疇此一概念代表著一堆數學實體和存在於這些實體間的關係。對範疇的研究允許其公式化抽象結構及保有結構的數學運算等概念。實際上，範疇在現代數學的每個分支之中都會出現，而且是統合這些領域的核心概念。有關範疇自身的研究被稱做是範疇論。 一個範疇C包括： 一個由物件所構成的類ob(C)...

深圳大学数学科学学院成立于2006年，前身为深圳大学应用数学系（成立于1985年）和深圳大学师范学院数学教育系（成立于1996年）。 1985年，深圳大学应用数学系成立。 1996年，深圳大学师范学院成立数学教育系。 1997年，应用数学系纳入理学院管理。 2003年，获批应用数学二级硕士点。...

中國數學史是指中國的數學發展史。中國傳統數學稱為算學，起源于仰韶文化，距今有五千余年历史，在周公时代，数乃是六艺之一。在春秋时代十进位制的筹算已经普及。著名日本数学史家三上义夫指出，中国算学的发展有二三千年之久，如此长久的发展历史，世界各国未曾有过，希腊自公元前6世纪到公元4世纪，仅一千年历史；阿拉...

东南大学数学系原为南京工学院基础科学系，1984年为南京工学院数学力学系，1988年南京工学院更名东南大学后，为东南大学数学力学系。力学系1997年合并至土木工程学院，数学力学系改为应用数学系，2002年改为现名。在2006年中国教育部的数学一级学科评估中列第23位。在2012年9月的基本科学指标（Essential...

论）。数学原理排除无限制创建任意的集合來试图避免这个问题，它以不同“类型”的集合來取代一般的集合，一组特定类型的集合只能包含套較低的类型。然而在当代数学，會使用如Zermelo-Fraenkel的集合理论体系，來避免如罗素的笨拙方式。 现代图书馆將此書排在二十世纪英文非虚构书籍中的第23名。 原...

logic）是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。主要的子研究领域有模型论，证明论，集合论和可计算性理论。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学...

數學分析或微積分的重要基础概念，连续和导数都是通过极限来作定义。極限分為描述一个序列的下標愈來越大时的趋势（序列極限），或是描述函数的自变量接趨近某個值時的函数值的趋势（函數極限）。 函数极限可以推广到网中，而数列的极限则与范畴论中的极限和有向极限密切相关。 以数列...

在数学中，像（image）又称像点、镜像，是一個跟函数相關的用語；简言之，就是当元素 x {\displaystyle x} 可映射至元素 y {\displaystyle y} ，则 y {\displaystyle y} 是 x {\displaystyle x} 的“像”，而 x {\displaystyle...

（开普勒最早给出的只是经验公式）。《自然哲学的数学原理》被认为是“科学史上最重要的论著之一”。 1747年法国数学家、物理学家亚历克西斯·克劳德·克莱罗称“《自然哲学的数学原理》标志着一个物理学革命的新纪元。伟大的作者牛顿爵士在书中采用的方法……使数学的光辉照亮了笼罩在假设与猜想的黑暗中的科学。”...

综述：在代数、组合数学、数论、数理逻辑以及椭圆曲线理论等方面取得了多项成果；在数学哲学领域进行了研究，与人合著的《数学与教育》对数学方法论在人的思维方式形成中的作用进行了思考，对数学在科学和人类文化以及教育中的地位作用作出一系列系统性阐释。 编写教材：《高等代数》、《线性移位寄存器序列》、《代数学引论》、《数学与教育》...

复分析：可视化方法 经典力学的数学方法 普林斯顿数学指南 《数学与自然科学之哲学》 《知无涯者：拉马努金传》 《现代世界中的数学》 现代偏微分方程引论 《线性偏微分算子引论》(上、下册) 《世纪之交话数学》 《重温微积分》 拔白旗、插红旗 生平回顾-武汉大学数学与统计学院. maths.whu.edu...

theory）或稱集論，是研究集合（由一堆抽象对象構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。在大多數現代數學的公式化中，都是在集合論的語言下談論各種数学对象。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。...

量子力学的数学表述（Mathematical formulation of quantum mechanics）是对量子力学进行严谨描述的数学表述体系。与20世纪初发展起来的旧量子论的数学形式不同，它使用了一些抽象的代数结构，如无穷维希尔伯特空间和这些空间上的算子。这些结构中有许多源于泛函分析。这一纯粹数学...

数学形态学（Mathematical morphology） 是一门建立在格论和拓扑学基础之上的图像分析学科，是数学形态学图像处理的基本理论。其基本的运算包括：腐蚀和膨胀、开运算和闭运算、骨架抽取、极限腐蚀、击中击不中变换、形态学梯度、Top-hat变换、颗粒分析、流域变换等。 在二值形态学中，一个图案被看做是...

数学家、数学教育家，中国科学院院士。中华人民共和国成立前曾任国立武昌大学，国立浙江大学数学系教授，國立台灣大學教務長，代理校長，1952年后历任复旦大学教授、杭州大学教授兼副校长。 陈建功主要从事实变函数论、复变函数论和微分方程等方面的研究工作，是中国函数论方面的开拓者之一。...

论与超限数的研究。1900年他在国际数学家大会提出的一系列问题（希尔伯特的23个问题）为20世纪的许多数学研究指出方向。希尔伯特和他的学生为形成量子力学和广义相对论的数学基础做出了重要的贡献。他还是证明论、数理逻辑、区分数学与元数学之差别的奠基人之一。 希尔伯特也是知名的数学教育家，以上课生动、举例子貼切而知名。...

华罗庚数学奖是为了纪念中国数学家华罗庚而於1992年设立的数学奖项，由中国数学会与湖南教育出版社共同主办，现为每两年评选一次、每届两人，用以奖励中国50岁以上获得重要成就的资深数学家。华罗庚数学奖与陈省身数学奖、钟家庆数学奖同为中国数学界声誉最高的三个奖项，与另两个奖项奖励中青年数学家与年轻学者不同，华罗庚数学奖是一种“终身成就奖”。...

数学家，1992年加入法国国籍。他以极富原创性的观点在“在整体黎曼几何、辛几何、代数拓扑学、几何群论和偏微分方程理论等领域作出了革命性的贡献”（1993年沃尔夫数学奖授奖词）。他是法國法國高等科學研究所(IHÉS)的永久教授成員，也是紐約大學的數學教授。...

成数据之和。这样，它们是研究有局部本质的实体的全局行为的自然工具，例如开集，解析函数，流形，等等。 研究层的数学领域叫做层论（sheaf theory）。 从概念上讲，层是比较一般、抽象的数学对象，其正确定义是相当技术性的。例如，根据分配给开集的数据类型，可分为集合层、环层等。...

内容包括 第一编：总论五章，叙述中国数学史的研究范围，研究方法，中国数学史的历史和中国数学史的分期。 第二编：中国数学的萌芽，共五章，叙述中国早期的数学观念，甲骨文、金文、周易、《考工记》中的数学 第三编：秦汉简牍中的数学与筹算，共四章，内容包括《算数书》，简牍中的数学史料，算筹，筹算。...

希臘字母被用於數學、科學、工程和其他方面。在數學方面，希臘字母通常用於常數、特殊函數和特定的變數，而且通常大寫和小寫都有分別，而且互不相關。有些希臘字母因字形和拉丁字母一樣，而不被使用，如：A, B, E, H, I, K, M, N, O, P, T, X, Y, Z；此外，小寫的...

李儼（1892年8月22日—1963年1月14日），原名祿驥，字樂知，男，福建閩縣（今福州）人，中国数学史学家，與錢寶琮同為中國數學史研究先驅。 1892年出生於福州旗下街。1904年在福州三牧坊學堂讀書。1912年入唐山路矿学院（今西南交通大学）土木工程系，1913年转入陇海铁路局为测量员。192...

千禧年大獎難題（英語：Millennium Prize Problems）是七條由美國的克雷數學研究所（Clay Mathematics Institute，CMI）於2000年5月24日公佈的數學難題，解题总奖金700万美元。根據克雷數學研究所制定的規則，這系列挑戰不限時間，題解必須發表在知名的國際期刊，並經過各...

数学家、数学教育家，中国科学院院士，中国拓扑学研究的奠基人之一。 江澤涵是胡適的妻子江冬秀的堂弟，1919年初跟隨胡適夫婦北上求學，1926年毕业于南开大学。1930年获美国哈佛大学博士学位，1931年任教北京大學數學系，1934年起擔任數學系主任至1952年。 《不动点理论》 《拓扑学引论》 李杨...

华罗庚（1910年11月12日—1985年6月12日），男，江苏金坛人，中国现代数学家，中国科学院院士，美国国家科学院外籍院士，全国政协前副主席，全国人大常委会前委员。他是中国解析数论、典型群、矩阵几何学、自守函数论与多元复变函数等很多方面研究的创始人与奠基者，也是中国在世界上最有影响力的数学家之一。...