定價
：NT$ 160 元優惠價
：90 折 144 元
無庫存，下單後進貨(採購期約4~10個工作天)
下單可得紅利積點：4 點
商品簡介
目次
相關商品
商品簡介
現代邏輯是傳統邏輯的新發展。十七世紀萊布尼茨是現代邏輯的最早開拓者。本世紀二十年代，哥德爾一階邏輯完備性定理的證明，標誌著現代邏輯的完成。當前發展迅速，由於與數學、自然科學、哲學、語言學相互之間廣泛的滲透，產生了許多綜合成果，現代邏輯已成長為門類眾多的學科。作者從事邏輯學研究、教學多年，深感社會需要普及化的現代邏輯，然而現代邏輯是一門形式的、嚴密論證的學科，如果作刻板的陳述，往往令人望而生畏，故本書用一種突出自然語言描述，突出邏輯思想闡述的方法，向讀者和大、中學學生介紹現代邏輯。
目次
傳統邏輯
命題邏輯
謂詞邏輯
模態邏輯
認知邏輯
語義學和模型論
證明論和不完全性定理
悖論和集合論的公理化
遞歸論和圖靈機
現代歸納邏輯
命題邏輯
謂詞邏輯
模態邏輯
認知邏輯
語義學和模型論
證明論和不完全性定理
悖論和集合論的公理化
遞歸論和圖靈機
現代歸納邏輯
今日66折
您曾經瀏覽過的商品
購物須知
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。