逻辑与演绎科学方法论导论

《逻辑与演绎科学方法论导论》是波兰著名哲学家、逻辑学家塔尔斯基的一部数理逻辑入门著作。书中介绍了数理...

2017.

McCarthy函数和Ackermann函数

本书从一道前南斯拉夫数学奥林匹克试题谈起,简明地介绍了麦卡锡函数、阿克曼函数及递归函数、数理逻辑的由...

2017.6

GMAT官方指南阅读解析

本书汇集GMAT官方解析2015、2016、2017版的所有阅读题材,从具体内容来讲1.以Prep为蓝本,帮助考生了解“标...

2017.1

大易数理逻辑

本稿从不同角度对知识“指反断非”信息计算进行了更深入更细致的探讨,以利于人们可操作性地运用此有效的知识...

2016.12