倒过来的逻辑

本书收录了鲁建文先生近年来发表于各种报刊上的一些文章。内容多为作者对于历史人物和社会现实的观察和评论。作者虽为官场中人，却不失学人风采，发言议论肯綮中的，显出诚恳的态度和务实的作风，所论虽隔数年放在...

数理逻辑

本书分数学基础基本理论与数理逻辑部分，其中数学基础基本理论部分包括：集合论基础、可计算性理论基础等内容，数理逻辑部分包括：形式命题演算、谓词演算、谓词演算形式系统等内容。本书可帮助学生按照“宽口径、...

微分形式及其应用 英文版

本书是一部简短的微分几何教程。详细讲述了微分几何，并运用它们研究曲面微分几何的局部和全局知识。引入微分几何的方式简洁易懂，使得这本书非常适合数学爱好者。...

形式主义批评的终结

本论文以格林伯格的形式主义批评为基本线索，尝试将其与特定时期的艺术流派、艺术运动、批评理论结合起来，梳理与呈现美国的形式主义批评是在什么样的艺术语境下发生、发展，以及最后走向终结的。...

中国古代推类逻辑研究

本书为国家社科基金后期资助项目。本书应用逻辑与历史相一致的辩证方法，把中国古代推类逻辑分为三个阶段：知类、求故、达理，构成一个体系，论证充分、具有很强的创新性。...

数理逻辑的思想与方法

本书共分6章。第一章介绍了运算的基本思想与方法；第二章至第四章介绍了命题逻辑的思想和方法；第五六章介绍了狭谓词逻辑的基本思想与方法。...

聪明人玩的118个逻辑思维游戏

本书介绍思维训练方法。

数字电路与逻辑设计

本书系统介绍了数字电子电路的基础知识和基础理论，包括数字代数基础、逻辑门电路、组合逻辑电路、触发器、时序逻辑电路、脉冲波形的产生和整形电路、大规模集成电路以及数模和模数转换等。...

多品种混流生产平准化投产顺序的逻辑运算

论苏联文学中的民族形式问题

节译自“社会主义现实主义诸问题”