数字硬件的形式化验证

国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...

现代视野的审美形式

本书是作者在其博士论文基础上增改而成的，对法拉克福学派代表人物本雅明、阿尔多诺和马尔库塞代表性文本进行细致的解读，尽可能全面而准确地把握该学派审美形式理论的真谛，为中国特色社会主义美学和文艺理论及...

逻辑学

本书编写思路是从逻辑思维的基本规律出发，讲解传统逻辑和现代逻辑的理论，进而突出逻辑学知识在各种思维实践问题中的应用，突出以下三个重点：第一、重点讲解逻辑学的基本理论；第二、重点展示逻辑学的应用价值；第.....

俄国形式主义文论选

俄国形式主义是20世纪初极为重要的文学理论流派之一。本书主要选自爱沙尼亚共和国《文艺理论文选》28篇，另增加俄国形式主义理论名家名作近十篇。...

GCT逻辑模拟试题与解析

本书是根据最新硕士学位研究生入学资格考试大纲的要求，配合2009版《逻辑考前辅导教程》，结合命题趋势，在2008版的基础上，重新进行全面修订而成的。...

TOEIC 托业 8000词汇逻辑辨证记忆

本书是专门针对新托业考试而编写的词汇助记书，收录了托业真题词汇和商务、旅游等生活场景常用词汇，用逻辑辨证记忆的方法帮助读者达到熟练应用这8000词汇的目的。...

罗素文集 第10卷 逻辑与知识

本书是英国著名哲学家罗素的一部主要著作。由罗伯特·查理斯·马什主编。全书由罗素1901～1950年发表的十篇文章所组成。

辩证逻辑之基本原理

作者指出辩证法是关于外部世界与人类思维活动的一般规律的学说。本书研究思维活动的规律，指出形式逻辑的缺欠，揭示辩证法如何进行观察、认识及判断。全书分7章：矛盾，概念，论断，历史主义，具体的思想，辩证法与......

我国迅速实现高级形式农业合作化的客观依据

战略财务的逻辑 我的偏执

本书是根据作者近几年在财会类刊物上发表的近三十篇文章改编而成，该书以“财务与战略的逻辑”为主线，全面展现了作者的财务思想理念。该书文笔流畅，给人以赏心悦目的感觉。...