跳到正文
格致开物
MATHWIKI
探索
学科导航
学习路径
搜索
☾
登录
探索
学科导航
学习路径
随机漫游
希腊字母
关于本站
管理员登录
搜索
数学百科
/
知识地图
查看“︁分类:基础与逻辑”︁的源代码
←
分类:基础与逻辑
因为以下原因,您没有权限编辑该页面:
您请求的操作仅限属于这些用户组的用户执行:
管理员
、aipublisher
您可以查看和复制此页面的源代码。
从集合、映射与推理,学会准确表达数学。 英文名称:Foundations and logic。 == 本领域研究什么 == 先用集合描述对象,再用函数描述对应关系,最后用命题、量词和证明检查推理。基础语言贯穿所有分支,不意味着每个形式化细节都应先于具体数学学习。 == 从哪里开始 == [[集合]] → [[函数]] → [[逻辑]] 遇到定义时先找对象范围与量词;读完逻辑条目后,可回到极限检查 ε 与 δ 的依赖关系。 == 本站核心词条 == * [[集合]] * [[函数]] * [[逻辑]] == 与其他分支的联系 == 数学的分支不是互相隔绝的盒子;同一词条可能属于多个分类。证明依赖[[逻辑]],结构计算常借助[[矩阵]],现实应用需要[[数学建模]]说明假设。进一步阅读可回到[[学科导航]]按问题选择路线。 本分类是本站的学习入口,不等同于研究文献的完整细分目录。正文结合具体问题、逐步推导和必要图解,提供定义、算例及参考来源。写作约定见[[帮助:词条写作标准]]。 [[分类:数学]]
返回
分类:基础与逻辑
。