数学

Mathematical Logic Quarterly

数理逻辑学报

Mathematical Intelligencer 数学情报 | Mathematical Logic Quarterly 数理逻辑学报 | Mathematical Methods in the Applied Sciences 数学应用学科

mathematical pendulum

单摆

mathematical expectation 数学期望值 | mathematical pendulum 单摆 | mathematical physics 数学物理

Mathematical statistics

数理统计(学)

数理统计学(Mathematical Statistics) 数理统计学是统计学的数学基础,从数学的角度去研究统计学,为各种应用统计学提供理论支持. 它研究怎样有效地收集、整理和分析

mathematical statistics method

数理统计方法

数学描述方法:Mathematical Method. | 数理统计方法:mathematical statistics method | 数学理论分析法:mathematical analytical method

mechanize

机械化

"代数使数学机械化(mechanize),因而使思考和运算步骤变得简单,而无须花很大的脑力. 这有可能使数学创造变成一种几乎是一种自动化(automatic)的工作. 甚至逻辑上的原理和方法也可能用符号来表达,而整个体系则可用之于使一切推理过程机械化(mechanize)".

modelling

模型化

对于今天的生命科学工作者,数学的价值应该体现在"模型化"(Modelling)方面. 通过模型的构建,那些看上去杂乱无章的实验数据将被整理成有序可循的数学问题;通过模型的构建,所要研究的问题的本质将被清晰地抽象出来;通过模型的构建,

morphism

态射

数学上,一个态射(morphism)是两个数学结构之间保持结构的过程的一种抽象. 最常见的这种过程的例子是在某种意义上保持结构的函数或映射. 在集合论中,例如,态射就是函数,在群论中,它们是群同态,而在拓扑学中,它们是连续函数.

null pointer

空指针

感觉我们的讨论把 空指针(null pointer) 和 NULL 宏定义混在一起了. 有时把NULL当作概念用,有时把NULL当作宏定义用.计算机说白了就是数学. NULL只不过是数学概念的计算机表示(represent)0 和 空(NULL) 在概念上是两码事

number system

数系

代数方面强调数系(number system)概念,用较严密的逻辑方法以证明数学上的定理. 前人依赖欧几里德几何来训练逻辑思维,在新数学课程里,主要是削减欧氏几何的非基本命题或非基本而繁复的命题而致力于更有趣的项目. 课程中加入集合论的概念逻辑,

Number theory

数论

P=NP吗? 这个问题是著名计算机科学家(1982年图灵奖得主)斯蒂文.考克(StephenCook )于1971年发现并提出的. 数学是科学的皇后,数论(Number Theory)是数学的皇后. -

Fix, Unfix,Group,Ungroup：(固定, 不固定,成组, 不成组)

Align Components(元件对准) 79 | Fix, Unfix,Group,Ungroup(固定, 不固定,成组, 不成组) 80 | Select Net(选择线网) 80

glycol monoacetate：乙二醇一乙酸酯

glycol lubricant 乙二醇润滑剂 | glycol monoacetate 乙二醇一乙酸酯 | glycol monobenzyl ether 乙二醇一苄醚