逻辑十八讲

Please download to get full document.

View again

of 128
All materials on our website are shared by users. If you have any questions about copyright issues, please report us to resolve them. We are always happy to assist you.
 163
 
  逻辑学是大学基础课程之一,在数学、计算机科学、哲学、语言学等领域都有广泛的应用。本书系统介绍逻辑学的基本体系,内容主要包括三段论理论、命题逻辑、一阶逻辑和集合理论。全书分十八讲,每讲独立篇章,或为一个理论的铺垫或为一个理论的展开。全书在不失严谨的前提下,笔触轻松地阐述传统逻辑与现代逻辑中最为重大的理论,从基本的形式化和模型理论,到布尔代数与逻辑开关、哥德尔完全性定理和不完全性定理、塔斯基真之不可定义性定理、丘齐-图灵不可判定性定理、对角线方法、兰姆赛定理、康托儿定理等等。还结合自己的研究,介绍了
Share
Transcript
         ∗ ∗    : Ver.2009-05-23,      L A TEX2 ε     . c            ,       .                (             ),                              ,                ,          .     ,      mingshone@163.com.                                                                                                                                    1                           2                                                                                                    1    123 8 1545 6791011 121314181617  1           3                                                                  3    7          8    13                                                                                                                                                    14                                                                                                                         1        2    3 5    8 10        1                                                                                                                                                                                                                                                 – I –                                                    6                         7                                                                                                                                                       E  I  A  O    E  elementary                     I  Intermediate                         A  Advanced                             O  Open                                ;-)   2006.72009.8   – II –        I  1            1 1     · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 12      · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 33      · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 4  2           6 1      · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 62      · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 83      · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 10  3            13 1      · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 132      · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 143      · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 16  4            18 1     · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 182      · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 193      · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 21  5           23 1      · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 232     · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 253      · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 26  6            30 1      · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 302      · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 313      · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 31 – III –
Similar documents
We Need Your Support
Thank you for visiting our website and your interest in our free products and services. We are nonprofit website to share and download documents. To the running of this website, we need your help to support us.

Thanks to everyone for your continued support.

No, Thanks
SAVE OUR EARTH

We need your sign to support Project to invent "SMART AND CONTROLLABLE REFLECTIVE BALLOONS" to cover the Sun and Save Our Earth.

More details...

Sign Now!

We are very appreciated for your Prompt Action!

x