当前位置：首页 > 名称
大约有2,000项符合查询结果项。（搜索耗时：0.0169秒）
为您推荐： 亚历山大英语丛书 朗文英语语法 title朗文英语语法练习 亚历山大英语丛书 朗文英语语法新概念英语作者亚历山大 朗文英语语法 朗文英语语法练习 朗文英语语法大全
-
-
从库默尔到朗兰兹 朗兰兹猜想的历史
邹青编著2014 年出版357 页ISBN：9787560342597本书主要是为了介绍朗兰兹猜想的历史，即提出这个猜想的前前后后、历史渊源。朗兰兹猜想是代数数论中的一个重要猜想，也是整个数论界的指导猜想。本书分为四个部分，共十八章。本书适合大中学生及数学爱好者参考...
-
-
-
-
幻想数学大战 数学的语法 集合
韩国图画树著2011 年出版177 页ISBN：9787507424058本书是趣味性数学儿童读物，巧妙地把数学知识与故事结合起来，是学龄儿童课外学习用书，该书通过有趣的故事情节激发儿童对数学的兴趣，步步深入，循序渐进、轻松易懂，非常有助于激发孩子的阅读兴趣，同时学习数学知......
-
幻想数学大战 17 数学的语法 集合
（韩）图画树编著；李学权译2014 年出版179 页ISBN：9787509411896本书是系列科普读物《幻想数学大战》的一种。讲的是在救援阿娜萨的途中，知修遭到暗黑骑士暗算，被逼无奈的知修眼看就支持不住了，乌勒的红骑士团又用集合魔法围住了他。这时，知修听到了无限接近“0”的存在“无...
-
符号逻辑 语法语义和证明
（美）大卫·W.安格勒著；陈素艳，张绣蕊译；魏屹东审校2016 年出版333 页ISBN：9787030480392本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理（命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题、...
-
-
学科分类