当前位置：首页 > 名称
大约有1,000项符合查询结果项。（搜索耗时：0.0125秒）
为您推荐： 钩针编织针法符号118和 花样123 爱编织 初学钩针100款四季花样小物 手作人典藏版 钩针编织的可爱小花样 精选花样编织大全708例 钩针 棒针 钩针编织新花样380例 最详尽的棒针编织教科书42种 符号和
-
-
-
-
-
-
-
代数学 集合、符号和思维的语言
（美）约翰·塔巴克（John Tabak）著；邓明立，胡俊美译2007 年出版220 页ISBN：7100053862本书把代数的起源定在4000年前的美索不达米亚.并且追踪其在各个历史时期、世界各个文明中进展的轨迹，包括印度、希腊和阿拉伯等文化。
-
123和＋－×÷的数学旅行 25段抽丝剥茧的数学探索
（美）大卫·伯林斯基著；甘锡安译2014 年出版301 页ISBN：9787308141055数学家向来设想数学就像一个城市，城市天际线矗立著三座雄伟的高塔。这三座雄伟的建物分别致力於“几何”、“分析”和“代数”，探究的对象各是空间、时间及符号和结构。本书诉说的正是这个数学城市的故事，主人...
-
-
符号逻辑 语法语义和证明
（美）大卫·W.安格勒著；陈素艳，张绣蕊译；魏屹东审校2016 年出版333 页ISBN：9787030480392本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理（命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题、...
学科分类