集论与逻辑 面向计算机科学

21世纪高等院校教材:本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定...

控制与自主 课堂场域中的权力逻辑

本书借助“权力的眼睛”，在”知识-权力-主体”三维理论框架中，审视了课堂场域中学生的知识建构过程与主体建构过程，分析了权力的控制功能、自主价值及其实现机制，解答了基于课堂控制的学生自主何以可能的问题。...

重读马克思 文本及其思想 第11卷 资本社会的结构与逻辑

经济测度逻辑挖掘 困难与原则

本书是经济统计学论文集，主要针对2009年发布的“斯蒂格利茨经济测度报告”提出质疑和看法，其中五篇论文分别针对该报告的三大内容GDP统计、经济福利测度和可持续发展测度进行较为系统的对应分析，提出了作者的...

经验与逻辑 知识产权审判经验卷

本书以北京市第二中级人民法院知识产权庭建庭以来的工作情况为基础，以33个典型案例的介绍、14种类型化案件的审理思路的梳理、8个方面案件的审判经验材料的汇总，将该庭十九年知识产权审判工作的经验进行较为...

中国互联网金融安全发展报告 2017 监管科技 逻辑 应用与路径

基于VHDL语言与Quartus II软件的可编程逻辑器件应用与开发

基于VHDL语言与Quartus 2 软件的可编程逻辑器件应用与开发。

体育科技论文写作与写作规范

墨学与中国逻辑学趣谈

该书着力探究墨学与中国逻辑学的密切关系，阐述墨学中的逻辑学与现代逻辑学的对应关系，并指出中国传统逻辑思维自身的特点，反驳了西方世界认为中国人缺乏逻辑思维的无据之论。同时，该书还指出，墨学在逻辑学上的重...

数字电路与逻辑设计

本书主要内容包括逻辑代数基础、门电路、组合逻辑电路、触发器、时序逻辑电路、脉冲波形的产生与整形、存储器和可编程逻辑器件、基于PLD的数字系统设计、数—模和模—数转换和数字系统典型应用等。本书编...