| FindBook |
有 2 項符合
現代邏輯入門的圖書 |
TAAZE 讀冊生活
三民網路書店| 圖書館借閱 |
| 國家圖書館 | 全國圖書書目資訊網 | 國立公共資訊圖書館 | 電子書服務平台 | MetaCat 跨館整合查詢 |
| 臺北市立圖書館 | 新北市立圖書館 | 基隆市公共圖書館 | 桃園市立圖書館 | 新竹縣公共圖書館 |
| 苗栗縣立圖書館 | 臺中市立圖書館 | 彰化縣公共圖書館 | 南投縣文化局 | 雲林縣公共圖書館 |
| 嘉義縣圖書館 | 臺南市立圖書館 | 高雄市立圖書館 | 屏東縣公共圖書館 | 宜蘭縣公共圖書館 |
| 花蓮縣文化局 | 臺東縣文化處 |
|
|
圖書介紹 - 資料來源：三民網路書店 評分：
圖書名稱：現代邏輯入門
- 圖書簡介
現代邏輯是傳統邏輯的新發展。十七世紀萊布尼茨是現代邏輯的最早開拓者。本世紀二十年代，哥德爾一階邏輯完備性定理的證明，標誌著現代邏輯的完成。當前發展迅速，由於與數學、自然科學、哲學、語言學相互之間廣泛的滲透，產生了許多綜合成果，現代邏輯已成長為門類眾多的學科。作者從事邏輯學研究、教學多年，深感社會需要普及化的現代邏輯，然而現代邏輯是一門形式的、嚴密論證的學科，如果作刻板的陳述，往往令人望而生畏，故本書用一種突出自然語言描述，突出邏輯思想闡述的方法，向讀者和大、中學學生介紹現代邏輯。
- 目次
傳統邏輯
命題邏輯
謂詞邏輯
模態邏輯
認知邏輯
語義學和模型論
證明論和不完全性定理
悖論和集合論的公理化
遞歸論和圖靈機
現代歸納邏輯
|
