哥德尔不完全性定理 朱水林著 辽宁教育出版社1988年2月版 12万字 对哥德尔定理的背景、内容、证明和意义等作系统的介绍。哥德尔不完全性定理对逻辑学、数学、哲学和人工智能都具有深刻的影响。踏和塔斯基的形式语言的真理论及图灵机的判定问题理论，已被国际逻辑学界赞誉为现代逻辑的三大成果。收入“世界数学名题欣赏丛书”

哥德尔不完全性定理 朱水林著 辽宁教育出版社1988年2月版 12万字 对哥德尔定理的背景、内容、证明和意义等作系统的介绍。哥德尔不完全性定理对逻辑学、数学、哲学和人工智能都具有深刻的影响。踏和塔斯基的形式语言的真理论及图灵机的判定问题理论，已被国际逻辑学界赞誉为现代逻辑的三大成果。收入“世界数学名题欣赏丛书”

本书系统地介绍了NP完全性理论的概念和方法，全书共分为7章和两个附录。第一章粗略地介绍了计算复杂性的一些基本概念和NP完全性理论的意义。第二章至第五章介绍了NP完全性的基本理论和证明的方法。第六章集中研究NP难问题的近似算法。第七章概述了大量计算复杂性中的有关理论课题。 附录A收集了范围广泛、内容丰富的NP完全性和NP难的问题、附录B补充了NP问题的一些最新的进展，既有理论方面的，又有关于具体问题的。

无论是性禁锢者，还是性放纵者，抑或是性神秘者，都是“性愚昧”的群体。那么到底该如何理解“性”呢？本书用热情、严谨和想象的力量审视人类破碎的“性文明史”，力图证明：性将远远超出性交的范畴，成为给人们身心带来愉悦的一种充满正面意义的活动。

无论是性禁锢者，还是性放纵者，抑或是性神秘者，都是“性愚昧”的群体。那么到底该如何理解“性”呢？本书用热情、严谨和想象的力量审视人类破碎的“性文明史”，力图证明：性将远远超出性交的范畴，成为给人们身心带来愉悦的一种充满正面意义的活动。

本书以公理化思想为主导，从亚里士多德的三段论到哥德尔的不完全性定理，阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线，分别展开三段沦的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统，并介绍了哥德尔完伞性定理与不完全性定理及相关的重要成果。本书力求在不失严谨的条件下尽可能直观地呈现理论的内容，在阐述抽象深奥的理论时，注重强调思想性，并力争通俗易懂，深入浅出。

本书以公理化思想为主导，从亚里士多德的三段论到哥德尔的不完全性定理，阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线，分别展开三段沦的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统，并介绍了哥德尔完伞性定理与不完全性定理及相关的重要成果。本书力求在不失严谨的条件下尽可能直观地呈现理论的内容，在阐述抽象深奥的理论时，注重强调思想性，并力争通俗易懂，深入浅出。

这是一本了解和进入夫妻美满生活的完全指南，是关于性与爱的健康百科；少儿不宜！ 本书涵盖了性生活、性健康、性生理、性心理、避孕、病理、治疗.....乃至于性交礼仪等等有关性的各种问题；以及保健、预防之道，并且援引了不少世界级性学大师在不同方面的许多精彩高见，更借鉴了近年来不少性及生育研究领域的许多重大成果。如各式各样的性无能疗法，治疗不孕症的神奇技术,更多的避孕与做爱方法，以及种种复杂的心理治疗；神奇的性魔法以及古老禁忌、智力与性的关系、精液的神奇力量、鲜为人知的G点、做爱三大原则、控制射精入门七守则、卡萨诺瓦的浪漫发明、确保子宫宁静的第一道门、男性保持不败的经验、运动是女性的回春药、女性性高潮练习:卵巢呼吸法等等。 性教育是一种人格教育，本书特别注重这方面的资讯。不仅内容详实，风格严谨;而且科学生动面面俱到；是21世纪现代人不可或缺的性生活宝典。也是成年人家庭必备的实用指南。