形式逻辑讲义 第4章 推理 直接推理 第5章 三段论和模态推理 第6章 假推、选言推理和联言推理

好玩的几何 和线条玩耍吧

形式化框架下置换和查找类算法的组装生成

本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型...

现代困境中的文学语言和文化形式

继1985年北京大学黄子平、陈平原、钱理群提出“20世纪中国文学”的概念，1988年上海学者陈思和、王晓明提出“重写文学史”的主张。自此20年来，文学史的个性化写作和文学史理论创新研究取得了一系列在文学史研...

电磁场积分方程法、积分微分方程法和边界元法

本书对电磁场边值问题求解的一个重要方法，即积分方程法和积分微分方程法，作了较为详细和深入的讨论。同时，简要地阐述了求积分方程解的边界元方法。全书共分八章。主要内容包括：积分方程的基本概念；静电场解的积...

解析几何的方法和技巧

本书为中学生教辅用书。

几何形图案的构成和应用

组群关系 独立于所有制形式的人际关系和劳动分配关系

本书是作者的工作经历和心得的小结，虽然没有引人入胜的故事性的叙述，但通过工作日常中的点滴感悟，读者还是能从中看到一个肯动脑筋，不计名利，为企业的改革发展具有创新精神的企业管理者形象。作者从企业微观管理...

好玩的几何 和游戏拼图玩耍吧

好玩的几何 和平面图形玩耍吧