当前位置:首页 > 陈素艳主编相关PDF电子书下载
-
-
-
符号逻辑 语法语义和证明
(美)大卫·W.安格勒著;陈素艳,张绣蕊译;魏屹东审校2016 年出版333 页ISBN:9787030480392本书从逻辑学的两个核心概念“命题”和“论证”出发,论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑)使用的两种规范语言,以及相应的推导规则。命题逻辑系统具有可判定性,真值表方法和真值树方法都能够为命题、...
-
英语流行口语2000
汪榕培主审;常骏跃主编;常骏跃,李茜,赵冬,吴春晓,朱晓姝,何素艳编1999 年出版473 页ISBN:7561114958本书通过小对话创造模拟语境,为练习对话提供范例,语言知识注释,相关知识点介绍及中文翻译。
-
-
-
IT英语教程 第2册
郝利群主编;康卉,宋辉,刘晓静等副主编;何素艳,王雅轩,刘宁宁等编委2006 年出版231 页ISBN:7544500357本书是原版引进的少儿英语教程,内容丰富、形式新颖,另含配套练习册一本。
-
-
-