当前位置：首页 > 名称
大约有400项符合查询结果项。（搜索耗时：0.0145秒）
为您推荐： 汉语字组的语义结构 语言论 语义型语言的结构原理和研究方法 可能世界语义学 词汇语义学 中华当代学术著作辑要 外语学术普及系列 什么是语义学 汉语语义学
-
-
符号逻辑 语法语义和证明
（美）大卫·W.安格勒著；陈素艳，张绣蕊译；魏屹东审校2016 年出版333 页ISBN：9787030480392本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理（命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题、...
-
-
-
-
-
-
-
-
