数字硬件的形式化验证

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

现代视野的审美形式

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

黑格尔关于辩证逻辑与形式逻辑的关系的理论

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

认知的双元解码和意象形式 对大脑的立体交叉性探索

维特根斯坦传

本书内容包括庞大的家族之树：家族的相似性、少年老成孩提时代；孤独的思想者、最初的人生理想：名工程师、初入剑桥：走进世界、第一件哲学作品：《逻辑哲学论》、哲思后的平民生活：小学教师和园丁、重返剑桥：思想......

美国文学新闻史 一种现代叙事形式的兴起

维特根斯坦

本书简要介绍了维特根斯坦的生平事迹，维特根斯坦是20世纪最具影响力的奥地利思想家、哲学家之一，被称为“哲学家中的哲学家”。他一生致力于探寻人的深度生存问题，论究世界存在的真、善、美，独具只眼“看”人的...

维特根斯坦剑桥讲演录

本书反映了维特根斯坦在其思想转折时期所关注的主要问题，以及他向学生阐述其思想时的理路和轨迹。其中蕴涵了维特根斯坦哲学的重要内容。本书还反映了维特根斯坦的思维方式、风格和演讲魅力，读者从中能感受到...

人的逻辑与物的逻辑 重思辩证法和形式逻辑的关系