辩证法与形式逻辑相关电子书下载

陈仲平讲1957 年出版43 页ISBN：2009·20

陆玲，周书民著2014 年出版165 页ISBN：9787566107534

本书介绍了乔姆斯文法体系的四类文法及相应的实例，以及无限自动机、下推机、图灵机及相应实例。利用VC++6.0实现了给定文法所产生的句子、确定的有限自动机、不确定的有限自动机、带空转移的有限自动机、带...

郭建平著2013 年出版226 页ISBN：9787510067518

本文主要包括六部分内容：绪论从人才成长的视角出发，论证了人文素养培育的逻辑前提，总结了国内外学者对人文素养培育的相关研究。后面章节介绍了中国古今人文素养培育的思想、西方文化中关于人文素养培育的思想...

郭维林，边文思主编2011 年出版174 页ISBN：9787508490670

本书是与高等教育出版社出版、王毓银主编的《数字电路逻辑设计》（脉冲与数字电路·第三版）一书配套的同步辅导和习题解答辅导书。本书共有八章，分别介绍绪论、逻辑函数及其简化、集成逻辑门、组合逻辑电路、集...

赵启正著2007 年出版306 页ISBN：7542624504

本书总结、介绍了上海浦东新区开发的经验，以及与经济全球化的关系。

吴亚南著2018 年出版191 页ISBN：9787520333870

从启蒙主体到人民大众主体的构建，表明中国马克思主义文学批评的实践主体观在中国的历史问题语境中具有自身独特的民族性内涵。在具体的政治实践中，中国马克思主义文学批评通过重视作家的思想改造、革命伦理意...

张云亭著2013 年出版277 页ISBN：9787508642963

BOT是一种投融资模式，而EPC则是一种工程项目管理模式。当BOT投资者在建设（B）环节引入EPC,便形成了“BOT+EPC”这种复合模式。在大型基础设施BOT项目建设过程中采用EPC，是一个“整合资源、平衡利益和解决矛盾”...

周凡，黄伟力主编2015 年出版483 页ISBN：9787542654083

柯尔施是西方马克思主义的主要奠基人之一。他以西方社会历史和文化为背景，首次提出了“西方马克思主义”概念，把马克思主义的理论重心转向了哲学领域，形成不同于第二国际和第三国际对马克思主义的解读模式，在西...

蔡建东著2010 年出版204 页ISBN：9787030278784

本书从学派差异与学科差异两个角度对教育技术学研究范式进行深入探讨。从学派差异的角度，对教育技术学两大学派（媒体派和学习派）研究范式的历史演化过程进行回顾，并对其发展过程进行历史反思。从不同研究范式的...

孟宪元，钱伟康编著2019 年出版504 页ISBN：9787302499138

本书系统介绍了Xilinx FPGA及Vivado设计套件的特性和7系列全面可编程FPGA器件的架构，如何由Vivado套件创建复杂数字系统设计项目，仿真系统功能，RTL分析产生网表文件，性能要求的时序约束及综合，布局布线及静态时...