大约有7,058项符合查询结果项。（搜索耗时：0.0794秒）
为您推荐： 逻辑 形式逻辑 正版图书 神逻辑 逻辑学 底层逻辑 模糊逻辑
-
信息学、语言学、数学与逻辑一本通 上
汪长喜主编2018 年出版540 页ISBN：7560370187本书共分7部分，分别介绍了C++语言、信息学与数学、信息学基础、数据结构、数学与逻辑、高级数据结构等内容。本书适合于高等学校计算机相关专业学生和计算机爱好者参考使用，也可作为计算机培训学校的培训教材...
-
数字逻辑设计项目教程
丁向荣，贾萍，赵慧，朱云鹏编著2016 年出版356 页ISBN：9787302417378本教材基于可编程逻辑器件（FPGA/CPLD）开发，各数字逻辑电路都通过可编程逻辑器件（FPGA/CPLD）实现；采用项目为导向、任务驱动的方法组织教学内容，易于采用“教、学、做”一体化教学方法开展教学。此外，本教材内容与行...
-
关于逻辑学的100个故事
吴正荣著2015 年出版215 页ISBN：9787305159213本书是人文社会科学通识文丛之一。本书通过一篇篇生动有趣的故事，介绍了日常生活中的逻辑学常识、逻辑学的基本知识和重要人物，图文并茂，通俗易懂，是普及逻辑学知识的通俗读本。作者认为每一位读者都应该学会思...
-
苏珊·桑塔格短篇小说空间形式研究
顾明生著2018 年出版174 页ISBN：9787305212918本书借助著名理论家弗兰克、米歇尔和佐伦的空间形式理论框架以及经典叙事学、电影叙事学的部分术语，从地质空间、时空体空间和意识形态表征空间三个层面分析桑塔格短篇小说的叙事艺术、空间形式及其主题思想...
-
-
-
软件工程形式化方法与语言
李莹，吴江琴著2010 年出版200 页ISBN：9787308066679本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...
-
GCT逻辑历年真题分类精解 2003-2015
周建武，罗保华，蔡广超，杨立鹏，戴雪琼，唐坚，董仲伟2016 年出版369 页ISBN：9787302429395本书是全国工程硕士专业学位教育指导委员会组编的2014年GCT逻辑考前辅导教程的配套用书，囊括了2003年首届GCT考试以来到2013年的历年真题。本书真题讲解精当，突出了类型化的编排特色，是一本非常实用的GCT逻辑...
-
-
