当前位置：首页 > 名称
大约有3,000项符合查询结果项。（搜索耗时：0.0160秒）
为您推荐： 复旦大学外文系文科英语教材写组 南京大学外文系英语专业一年级英语教学小组编 南京大学外文系公共英语教研室 吉林大学中文系中国现代文学史教材写小组 e时代大学英语写组 江西大学中文系写
-
-
-
-
-
-
小灵通心算：直接写得数
程学龙，程登榜编著2008 年出版331 页ISBN：7508250303本书介绍心算方法和规则，直接写得数。有例题、练习题。含加法、乘法、除法、减法、乘方、开平方及速算题。
-
-
幻想数学大战 数学的语法 集合
韩国图画树著2011 年出版177 页ISBN：9787507424058本书是趣味性数学儿童读物，巧妙地把数学知识与故事结合起来，是学龄儿童课外学习用书，该书通过有趣的故事情节激发儿童对数学的兴趣，步步深入，循序渐进、轻松易懂，非常有助于激发孩子的阅读兴趣，同时学习数学知......
-
幻想数学大战 17 数学的语法 集合
（韩）图画树编著；李学权译2014 年出版179 页ISBN：9787509411896本书是系列科普读物《幻想数学大战》的一种。讲的是在救援阿娜萨的途中，知修遭到暗黑骑士暗算，被逼无奈的知修眼看就支持不住了，乌勒的红骑士团又用集合魔法围住了他。这时，知修听到了无限接近“0”的存在“无...
-
符号逻辑 语法语义和证明
（美）大卫·W.安格勒著；陈素艳，张绣蕊译；魏屹东审校2016 年出版333 页ISBN：9787030480392本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理（命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题、...
学科分类