1、General Information书名=1981.02 数理逻辑通俗讲话作者=王浩页数=257SS号=10186463出版日期=1981年02月第1版前言目录第一章 数理逻辑一百年第二章 形式化和公理方法 21 形式系统公理系统的特殊情形 22 谓词演算或一阶逻辑 23 形式系统和形式思维 24 一阶和二阶理论 25 Godel不完全性定理概要 26 证明的背景及分解 27 不可判定的数学命题第三章 计算机 31 一般概念 32 发展计算机科学 33 计算机的进展 34 计算机与中文 35 计算机应用的几个例子 36 大学的统一招生问题 37 四色定理的证明 38 定理的机器证明第四章 问
2、题与解 41 问题作为推动力 42 数理逻辑中的问题 43 一些较明晰的问题 44 Diophantus问题 45 Euler道路和Hamilton道路第五章 一阶逻辑 51 可满足性与有效性 52 一阶逻辑的归约类和判定问题 53 命题逻辑 54 模型论 55 Lowenheim-Skolem定理 56 超积 57 Ramsey定理和不可辨元 58 其他逻辑 59 形式化与完全性第六章 计算理论的和可实现的 61 多项式时间内的计算 62 重言式问题和NP完全性 63 NP问题的例子 64 重言式问题 65 多项式时间和可行性 66 可判定理论和不可解问题 67 铺砖问题 68 递归论:度和
3、分层第七章 直线上有多少个点? 71 Cantor和集合论 72 有限集合论和类型论 73 集论的公理化 74 Hilbert的介入 75 可构成集 76 GCH的协调性 77 可构成性 78 连续统问题 79 1960年以来的集合论 710 GCH和基数的相对性 711 力迫法 712 力迫法简述 713 非可构成集合 714 CH的独立性第八章 统一化与多样化 81 证明论和Hilbert方案 82 构造主义 83 决定性公理 84 关于数理逻辑文献的评论 85 分层和统一化附录A 骨牌游戏与无穷性引理 1一些技巧性对策 2Thue序列 3无穷性引理 4单人骨牌游戏(铺砖问题) 5无穷性引理应用于骨牌游戏附录B 算法与机器 1数值算法与非数值算法 2抽象机程序设计导言 3人的计算与实际的计算机 4计算的概念分析 5关于机器的五个对照附录C 抽象机 1有限状态机器 2Turing机 3P机器(Turing机的程序表述) 4不可解的铺砖问题 5泰格系统和莱格系统