当前位置：首页 > TAG信息列表 > 数理逻辑
数理逻辑
-
-
-
-
-
-
-
美国经典全脑300题 数理逻辑卷
美国童光萃集编著2012 年出版128 页ISBN：9787530453575本系列全套3本，分别为数理逻辑卷、语言文字卷、综合知识卷，是一套适用于小朋友脑力训练的高难度题集。内容丰富多彩、题型变化多样，极具挑战性，能提升孩子的自信心和意志力。出题方式妙趣横生，内容丰富，包含了孩...
-
-
数理逻辑 基本原理与形式演算 第2版
李未著2014 年出版289 页ISBN：9787030401557本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...
-
-
-
-
-
-
数理逻辑的思想与方法
李娜著2012 年出版326 页ISBN：9787310040308本书共分6章。第一章介绍了运算的基本思想与方法；第二章至第四章介绍了命题逻辑的思想和方法；第五六章介绍了狭谓词逻辑的基本思想与方法。...
-
数理逻辑之美 方立教授纪念文集
王路江主编；司富珍执行主编2012 年出版312 页ISBN：9787561933404本书是为纪念北京语言大学外国语学院博士生导师方立教授而作的文集，由“纪念文章”和“学术论文”两部分组成，从不同侧面总结了方立先生的学术成就以及同行学者和他的弟子们对方立先生的缅怀、纪念以及对他学...
-
学前班数学 A卷 基础概念与数理逻辑
韩国三省出版社著；宫亚琪译2013 年出版80 页ISBN：9787530463574本书从第一单元开始，让孩子自己解答问题，每个问题大约给5分钟左右的时间，然后看书后的答案，把答错的问题标记到目录上的“核对”一栏上。最后再让孩子重新做一遍。用小测验检测孩子的数学水平，每个单元后都有综...
-
-
-
