逻辑
-
直觉主义逻辑的语义基础
柯华庆著2014 年出版138 页ISBN:9787542646132本书是关于直觉主义逻辑的语义基础展开了详尽讨论。作者对其中涉及到的一些基本概念进行了详尽的探讨,试图建立起直觉主义的构造性概念与经典数学对构造性的理解之间的关系,在直觉主义的几本观念上提出了一些...
-
数理逻辑 基本原理与形式演算 第2版
李未著2014 年出版289 页ISBN:9787030401557本书的内容共分十章,系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形式推理系统,可计算性与可表示性,哥德尔定理。后五章的内容是作者的研究成果。这部...
-
2015MBA/MPA/MPAcc管理类专业学位联考高分指南 逻辑
薛瑞主编2014 年出版302 页ISBN:9787300189758本书内容为面向MBA、MPA、会计硕士、工程管理等多个管理类专业学位联考复习知识点及例题讲解,整个系列图书分综合能力、英语、面试几个环节,一共有10余册,本书为逻辑分册。...
-
数学、逻辑、英语、写作必备工具手册
索玉柱,童武主编2014 年出版460 页ISBN:9787115349842本书是MBA/MPA/MPAcc联考与经济类联考精编辅导丛书之一,是一本面向MBA/MPA/MPAcc联考与经济类联考考生的、全面囊括联考知识点的工具书。本书按照最新考试大纲的要求,系统、全面地讲解了考试中英语的必备词汇...
-
理性的执著 对语言、逻辑、意义和真理的追问 陈波卷
陈波著2014 年出版499 页ISBN:9787303173518本文库是活跃在当代中国哲学研究领域的著名学者多年来艰辛探索的成果,既凸现了作者关于哲学研究的基本心路历程,反映了作者思想、观点的发展变化,而由于他们的代表性、典型性,也反映了我国的哲学研究及其水平的...
-
基于硬件描述语言的并行逻辑模拟系统研究与实现
吴悦著2009 年出版171 页ISBN:9787811185119本书收录了2006年上海大学博士论文52篇,通过公开出版,使论文作为公共知识,转化成社会财富,产生社会影响。
-
编程逻辑及C语言实现
陈斌,周春容主编;郎川萍,吴光成副主编2011 年出版177 页ISBN:9787564312831本书主要培养学生结构化编程能力、使用Microsoft Visual C 6.0为开发平台,内容还该了全国计算机等级考试C语言程序设计的知识点。教学内容根据“岗位使用、行业发展、课证一致、技能为主”的原则进行取舍,为...
-
“崩溃的逻辑”的历史建构 阿多诺早中期哲学思想的文本学解读
张亮著2014 年出版353 页ISBN:9787214117458本书运用深层历史解读法,在充分占有第一手资料和大量既有研究成果的基础上,对阿多诺20世纪30年代至60年代早期的主要哲学文献进行了开创性的文本学解读,首次揭示出了“崩溃的逻辑”这一段不为国内学界所知的思...
-
逻辑脑德国经典幼儿思维游戏课程 动物配对
邢涛主编2013 年出版64 页ISBN:9787553612775引进国际上最先进的幼儿学习训练理念,通过图像、形状、空间、逻辑、创新等多种方式来锻炼幼儿推想、创意等思维能力。由国内权威儿童教育专家审定,适合国内儿童的需要。版本是大开本含EVA乳胶贴的产品,具一定...
-
法治政府的制度逻辑与理性构建
江必新著2014 年出版344 页ISBN:9787509354582本丛书紧扣十八大报告提出的关于“全面推进依法治国”、“加快建设社会主义法治国家”,以及习近平总书记在中央政治局集体学习会议上提出的“坚持法治国家、法治政府、法治社会一体建设,不断开创依法治国新局...