| FindBook |
|
有 1 項符合
現代邏輯入門的圖書 |
 |
$ 45 ～ 144 | 現代邏輯入門
作者：朱水林 出版社：九章出版社 出版日期：1998-05-01  共 2 筆 → 查價格、看圖書介紹
|
|
|
圖書介紹 - 資料來源：三民網路書店 評分：
圖書名稱：現代邏輯入門
- 圖書簡介
現代邏輯是傳統邏輯的新發展。十七世紀萊布尼茨是現代邏輯的最早開拓者。本世紀二十年代，哥德爾一階邏輯完備性定理的證明，標誌著現代邏輯的完成。當前發展迅速，由於與數學、自然科學、哲學、語言學相互之間廣泛的滲透，產生了許多綜合成果，現代邏輯已成長為門類眾多的學科。作者從事邏輯學研究、教學多年，深感社會需要普及化的現代邏輯，然而現代邏輯是一門形式的、嚴密論證的學科，如果作刻板的陳述，往往令人望而生畏，故本書用一種突出自然語言描述，突出邏輯思想闡述的方法，向讀者和大、中學學生介紹現代邏輯。
- 目次
傳統邏輯
命題邏輯
謂詞邏輯
模態邏輯
認知邏輯
語義學和模型論
證明論和不完全性定理
悖論和集合論的公理化
遞歸論和圖靈機
現代歸納邏輯
|
