数理逻辑与机器证明.pdf
本书介绍数理逻辑及其在机器证明中的应用． 数理逻辑部分包括绪论、前三章及附录．绪论简要地说明了数理逻辑的研究对象和方法．前三章分别介绍命题逻辑、一阶逻辑以及它们的可靠性和完备性问题．附录中阐述了重言式的推理，并且论证了它与自然推理的关系．第四至第六章是机器证明部分
钟万
数理逻辑与机器证明.pdf
本书介绍数理逻辑及其在机器证明中的应用． 数理逻辑部分包括绪论、前三章及附录．绪论简要地说明了数理逻辑的研究对象和方法．前三章分别介绍命题逻辑、一阶逻辑以及它们的可靠性和完备性问题．附录中阐述了重言式的推理，并且论证了它与自然推理的关系．第四至第六章是机器证明部分
应用力学对偶体系.pdf
本书包括应用力学初步，振动理论，概率论与随机过程初步，结构的随机振动，单连续坐标弹性体系的求解，线性控制系统的理论与计算等内容。
面向计算机科学的数理逻辑 | 2版.pdf
本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。
参变量变分原理及其在工程中的应用.pdf
本书系统阐述了参变量变分原理，并对弹塑性摩擦接触问题、润滑问题的基本思想及其数值求解方法进行了全面论述，还给出了大量的应用实例． 本书读者对象为工程力学、计算力学专业的师生，以及相关专业的工程技术人员．
结构化程序设计和DITSF语言.pdf
本书结合程序设计方法学和程序正确性证明的思想，介绍大连工学院研制的结构化FORTRAN语言DITSF。
面向计算机科学的数理逻辑（第二版） 陆钟万 著.pdf
本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求。本书研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。本书大部分章节附有习题。