当前位置：首页 > 名称
大约有3,000项符合查询结果项。（搜索耗时：0.0206秒）
为您推荐： 汉语情态动词研究 汉语情态副词研究 汉语颜色词的隐性量研究 汉语核心词的历史与现状研究 汉语情态研究 汉语情态动词连用
-
-
符号逻辑 语法语义和证明
（美）大卫·W.安格勒著；陈素艳，张绣蕊译；魏屹东审校2016 年出版333 页ISBN：9787030480392本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理（命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题、...
-
-
-
-
-
数组合地图论 第2版
刘彦佩编著2008 年出版399 页ISBN：703021272X本书论述组合地图计数以及梵和的理论，在第一版的基础上，删去了多余部分和替代改进的结果，主要增添了新的有关地图在一般曲面（平面只是一个特例）上的内容，例如Euler地图和无割边地图在曲面上的节点剖分泛函方程，......
-
障碍空间最短路径的地图代数解法 Solution on ESPO using map algebra eng
胡鹏，杨传勇，胡海著2007 年出版124 页ISBN：9787503017759欧氏障碍空间的最短路径问题（ESPO）是网络分析中的基础和核心问题。其中三维ESPO是NP难问题，至今无其他有效解。
-
-
学科分类