汪芳庭编著2010 年出版205 页ISBN:9787312027086
本书内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书可用作计算机专业研究生或高年级本科生教材。...
周林,龙文,韩缨主编2013 年出版211 页ISBN:9787308110020
2006年年初,党中央在全国科学技术大会上提出,中国未来15年科技发展的目标是,2020年建成创新型国家,使科技发展成为经济社会发展的有力支撑。自主创新既要从传统知识当中吸收营养,也要保护创新的源,才会有可持续发...
蔡龙文主编2007 年出版197 页ISBN:7810798480
本书含“专项辅导与训练教程”和“模拟试题集(A级)”两部分,内容全面,指导性和针对性强,对参加高等学校英语应用能力考试的学生有一定的帮助。...