數理邏輯人民郵電出版社

1. 給高中生推薦幾本關於邏輯學的書

邏輯哲學論來》維特根斯坦
《邏輯哲學論自》研究 翰林合
《邏輯學》黑格爾
《邏輯學導論》柯匹
《形式邏輯原理》中國社會科學院文庫
《邏輯學》姜全吉 遲維東
《形式邏輯》華東師范大學出版社
《哲學邏輯研究》中國社會科學院文庫
《數理邏輯引論》大連理工大學出版社
《數理邏輯》人民郵電出版社
"邏輯學" 李小克編寫 挺有條理挺通俗的易懂
最貴不超過500
建議網上買

2. 有什麼好的數理邏輯的書可以推薦

覺得自己夠聰明的話直接讀汪芳庭的《數理邏輯》。《符號邏輯講義》徐明專著
數理屬邏輯 Herbert B. Enderten 著 沈復興等譯 人民郵電出版社
或者直接英文：a mathematical introction to logic
《符號邏輯講義》

3. 有名的邏輯學書，幫忙推薦幾本啊~

《邏輯哲學論》維特根斯坦
《邏輯哲學論》研究 翰林合
《邏輯學》黑格爾內
《邏輯學導論容》柯匹
《形式邏輯原理》中國社會科學院文庫
《邏輯學》姜全吉 遲維東
《形式邏輯》華東師范大學出版社
《哲學邏輯研究》中國社會科學院文庫
《數理邏輯引論》大連理工大學出版社
《數理邏輯》人民郵電出版社
PS：以上這些書我不是胡亂說，這些書是我都有的。買這些書沒有花太多錢，最多不會超過500塊...
這些書我都好是按照學習順序排的，樓主只要按順序學就一定能學好。不僅僅是邏輯啦，連數學素養都能得到很好的提高。如果樓主願意再復習下初中和高中數學，如果樓主並不是研究生，那麼樓主完全有能力勝任數學研究生。然後再學學計算機軟硬體，弄個計算機研究生。

4. 我想自學數理邏輯，怎麼購買相應的教材

面向計算機科學的數理邏輯(第二版)
陸鍾萬
科學出版社
非常數學化的一本書回

數理邏輯（英文影印版）答（第2版）
（美）Herbert B.Enderton
人民郵電出版社
除了一階邏輯，還介紹二階邏輯、計算理論

數理邏輯（修訂版·影印版）
A.G.Hamilton
清華大學出版社
入門書，講一階系統和計算理論

數理邏輯基礎：一階邏輯與一階理論
陳慕澤;余俊偉
中國人民大學出版社
如果不是理工科或者邏輯專業，可以看看這本

經典邏輯與非經典邏輯基礎
杜國平
高等教育出版社
除了一階邏輯，還講模態邏輯、時態邏輯等非經典邏輯

這些書china-pub上都有賣的
如果再簡單點，任何計算機專業的離散數學都會講些數理邏輯和集合論，比較簡單，可以以此為基礎，再補充些一階系統的知識，基本就夠用了
以後不管是向模態邏輯、模型論、集合論、計算理論方向發展都有一個基礎了

5. 邏輯學著名作品有哪些

黑格爾的《邏輯學》
（美）科恩寫的《邏輯學導論》
《邏輯學》ISBN:730004351
作者：中國人民大學哲學系邏輯教研室編
出版社：中國人民大學出版社

6. 數理邏輯

覺得自己夠聰明的話直接讀汪芳庭的《數理邏輯》。《符號邏輯講義》徐明著內 數理邏輯 Herbert B. Enderten 著 沈復興等譯容 人民郵電出版社 或者直接英文：a mathematical introction to logic 《符號邏輯講義》

7. 有什麼好的數理邏輯的書可以推薦

覺得自己夠聰明的話直接讀汪芳庭的《數理邏輯》。《符號邏輯講義》徐內明著
數理邏輯 Herbert B. Enderten 著容 沈復興等譯 人民郵電出版社
或者直接英文：a mathematical introction to logic
《符號邏輯講義》

8. 初學邏輯 零基礎

《邏輯哲學論》復維制特根斯坦
《邏輯哲學論》研究 翰林合
《邏輯學》黑格爾
《邏輯學導論》柯匹
《形式邏輯原理》中國社會科學院文庫
《邏輯學》姜全吉 遲維東
《形式邏輯》華東師范大學出版社
《哲學邏輯研究》中國社會科學院文庫
《數理邏輯引論》大連理工大學出版社
《數理邏輯》人民郵電出版社
PS：以上這些書我不是胡亂說，這些書是我都有的。買這些書沒有花太多錢，最多不會超過500塊...
這些書我都好是按照學習順序排的，樓主只要按順序學就一定能學好。不僅僅是邏輯啦，連數學素養都能得到很好的提高。如果樓主願意再復習下初中和高中數學，如果樓主並不是研究生，那麼樓主完全有能力勝任數學研究生。然後再學學計算機軟硬體，弄個計算機研究生。

9. 有哪些值得推薦的學習數理邏輯的書籍

覺得自己夠聰明的話直接讀汪芳庭的《數理邏輯》。《符號邏輯講義》徐明著
數理版邏輯 Herbert B. Enderten 著 沈復興等譯權 人民郵電出版社
或者直接英文：a mathematical introction to logic
《符號邏輯講義》

10. 數學、邏輯與計算機科學的關系。

一、 教學目的計算機科學與技術以及信息安全專業的本科學生應具有較強 的邏輯推理和問題求解能力、並應有較好的數學素養,特別地, 計算機科學與技術專業的本科學生還應對形式系統有初步的了解. 《數理邏輯》課程主要講授有關命題邏輯和一階謂詞邏輯的內容、 學生通過學習本課程應 該達到以下目標: 1. 應熟練掌握有關命題邏輯和一階謂詞邏輯的基本知識,包括: 命題邏輯公式聯結詞的含義;命題邏輯公式的真值,等值演算, 範式及自然推理系統;謂詞與量詞的含義;一階公式的真值, 等值演算,前束範式及自然推理系統. 2. 應理解數學證明的形式定義、並能掌握和運用一些數學證明技巧, 包括綜合法,分析法,反證法,數學歸納法, 進一步應基本理解歸納定義與歸納證明原理. 3. 應了解公理化方法的基本思想, 基本理解命題演算形式系統的定義與構造, 並能進行一些形式推理證明,進一步應初步了解形式系統的元理論、 包括形式系統的和諧性,可靠性,完備性與可判定性.總之, 本課程的教學應使得學生熟練掌握有關命題邏輯和一階謂詞邏輯的基 本知識,理解並能初步運用形式化的邏輯推理和數學證明, 初步了解公理化方法和形式化方法,並訓練學生的數學思維方式, 提高其數學解題能力. 二、教材選擇 1,教學內容概述根據上述教學目的, 本課程的教學內容至少應該包括三部分:命題邏輯, 命題演算與一階謂詞邏輯. 命題邏輯和一階謂詞邏輯是本課程的基本內容、 分別講授命題邏輯公式和一階邏輯公式的基本概念, 等值演算以及半形式化的推理理論.命題演算是本課程的深化內容、 在學生理解半形式化推理理論的基礎上, 介紹命題邏輯的形式化演算系統, 使學生對公理化方法和形式化方法有初步的了解. 鑒於謂詞邏輯的形式演算系統比較復雜,低年級本科生不容易掌握, 因此本課程不講授有關謂詞演算部分的內容. 2 對於具體的教學內容、還有以下三點需要注意: 1. 命題邏輯公式和謂詞邏輯公式及其真值語義的歸納定義. 應按照歸納定義的思想, 講授命題邏輯公式以及謂詞邏輯公式語法的嚴格定義、 至於是否應該按照歸納定義的思想給出命題邏輯公式以及謂詞邏輯公 式真值語義的嚴格定義、任課教師可根據學生情況和授課進度確定. 2. 命題邏輯的形式化演算系統的選擇. 命題邏輯的形式化演算系統大體上可分為兩種類型, 一是希爾伯特式的公理化演算系統,一是甘岑(Gentzen) 式的自然推理系統.前者更能體現公理化思想, 但其形式推理過程難以掌握,後者形式推理過程較為自然, 但系統規則多,需要更多的授課時間. 任課教師可根據自己對命題演算系統的理解以及授課進度自行選擇, 並合理把握講課深度. 3. 數理邏輯其他內容的簡介.除命題邏輯,命題演算和一階邏輯以外, 任課教師還可根據學生的特點、 講課的進度等選講數理邏輯的其他內容、如數理邏輯的發展簡史, 直覺邏輯,模態邏輯,以及數理邏輯在計算機科學中的應用等. 2. 教材分析命題邏輯,命題演算和謂詞邏輯是數理邏輯最經典的內容、 任何一本有關數理邏輯或離散數學的教材都有涉及,但其深度不一. 通常有關數理邏輯內容的專門教材或專著,如王捍貧編著的《 數理邏輯離散數學第一分冊》(北京大學出版社,1997), 陸鍾萬編著的《面向計算機科學的數理邏輯》(科學出版社, 1998)等內容比較深,而作為離散數學一部分的教材, 如耿素雲等編著的《離散數學(修訂版)》(高等教育出版社, 2004),石純一等編著的《數理邏輯與集合論(第二版)》( 清華大學出版社,2000)等內容則相對較淺. 因此建議以石純一等編著的《數理邏輯與集合論(第二版)》 作為主要教材,並結合陸鍾萬編著的《面向計算機科學的數理邏輯》 進行講課,主要講授石純一等編著教材的第一至第五章, 並參考陸鍾萬編著教材的第一至第三章, 特別是可參考其有關邏輯公式語法和語義的歸納定義、 以及有關命題邏輯的自然推理系統部分. 石純一等編著教材對於半形式化與形式化推理方面的內容比較簡單, 可參考耿素雲等編著的教材以及其他教材,如王憲鈞編著的《 數理邏輯引論(第二版)》(北京大學出版社,1998) 等加以補充.有關數理邏輯的發展簡史也可參考王憲鈞編著的教材, 有關直覺邏輯的內容可參考陸鍾萬編著的教材和王捍貧編著的教材, 有關模態邏輯的內容可參考陸鍾萬編著的教材, 有關數理邏輯在計算機科學中的應用等可參考M. Huth,M.Ryan等編著的《面向計算機科學的數 理邏輯:系統建模與推理》(英文版,第二版)( 機械工業出版社影印版 3. 教材與參考書推薦 ■推薦教材[1] 石純一、王家廣欽,數理邏輯與集合論(第二版), 清華大學出版社,2000[2] 王宏,楊明,數理邏輯與集合論(第二版)精要與題解, 清華大學出版社,2001 ■主要參考書[3] 陸鍾萬,面向計算機科學的數理邏輯,科學出版社,1998[4] 耿素雲,屈婉玲,離散數學(修訂版),高等教育出版社, 2004[5] 王捍貧編著,數理邏輯離散數學第一分冊、北京大學出版社, 1997[6]M.Huth,M.Ryan, 面向計算機科學的數理邏輯:系統建模與推理(英文版,第二版), 機械工業出版社,影印版,2005[7] 王憲鈞,數理邏輯引論(第二版),北京大學出版社,1998[ 8]A.G. Hamilton,數理邏輯(英文版,修訂版), 清華大學出版社,影印版,2003[9] 畢富生,數理邏輯,高等教育出版社,2004 3 [10] 孫明湘,數理邏輯,中南大學出版社,2004[11] 陳慕澤,余俊偉,數理邏輯基礎:一階邏輯與一階理論、 中國人民大學出版社,2003[12]H.B. Enderton,數理邏輯(英文版,第二版), 人民郵電出版社影印版,2006 三、教學基本要求《數理邏輯》是計算機科學的基礎課程之一、 符號化和形式化是其基本特點、比較抽象難懂, 低年級本科生學習起來有一些困難, 因此教師在講授本課程時應注意以下兩點: 1. 應注意多講解例題,習題.在講授自然語言命題的符號化, 命題邏輯和一階邏輯的等值演算, 應用命題邏輯或一階邏輯進行推理等內容時都應該多舉例題, 並應在課堂上讓學生積極參與例題,習題的求解, 甚至可圍繞一些復雜例題的求解讓學生在課堂深入探討與思考. 特別地,邏輯在日常生活中也廣泛應用, 教師應注意收集與日常生活有關的例子進行講解以提高學生的學習興 趣.例如在講授自然語言命題在命題邏輯或一階邏輯中的符號化, 命題邏輯和一階邏輯的半形式化推理中、 都可適當地採用一些貼近生活的例子. 2. 應注意加強與計算機學科其他課程之間的聯系. 數理邏輯是計算機學科的基礎理論之 一、教師在課堂教學中應充分注意《數理邏輯》 課程中的內容在計算機學科其他課程中的應用與聯系.例如, 計算機程序本質上也是一個形式系統, 在講授命題演算系統時應充分注意計算機程序與命題演算系統之間的 本質聯系.又例如, 編寫計算機程序與利用邏輯進行形式推理都是問題求解, 它們之間具有許多共性,特別地, 都需要運用自頂向下分解的分析思維, 教師在講授構造形式推理證明時應注意強化學生對自頂向下分解方法 的運用. 為更好地講授數理邏輯在計算機學科其他課程中的應用, 教師應該對《數字邏輯電路與設計》,《程序設計基礎》,《 人工智慧》等課程的主要內容有一定程度的了解. 總的來說, 整個課程的重點是命題邏輯和一階邏輯的等值演算及自然推理, 難點是命題邏輯的形式化演算系統. 石純一等編著教材有一定的特點、例如內容簡單, 全面且重點比較突出、但缺乏良好的系統性和邏輯性, 教師應該在熟悉其他參考書籍、特別是陸鍾萬,耿素雲,王憲鈞, 王捍貧等編著教材的基礎上講授本課程. 四、相關課程 1, 先修課程本課程作為計算機科學與技術和信息安全專業的理論基礎課 程,在計算機學科的本科課程體系中不需要先修課程, 也即學生只需要具備在高中階段學習的數學知識即可學習本課程. 根據《普通高中數學課程標准》, 集合和基本初等函數屬於必修內容(必修模塊數學1), 講授集合的含義與表示、集合之間的關系,集合的基本運算, 函數的基本概念,函數的表示、以及一些基本的初等函數, 如指數函數,對數函數,冪函數等內容. 因此在講授本課程時可假設學生對於集合和函數的基本內容已經有了 一定的認識.根據《普通高中數學課程標准》, 常用邏輯用語以及推理與證明屬於建議理工類學生選修的內容( 選修模塊系列2),講授命題及其關系(逆命題,否命題, 逆否命題,充分條件,必要條件以及充要條件), 簡單的邏輯聯結詞(且、或,非),全稱量詞與存在量詞、 合情推理與演繹推理,直接證明與間接證明(綜合法,分析法, 反證法)以及數學歸納法等的基本概念. 因此在講授本課程時可假設學生對於邏輯和推理的基本內容已經有了 初步的認識. 2, 後續課程由於邏輯本身在計算機學科的各課程都廣泛使用, 因此命題邏輯和謂詞邏輯等在《數字邏輯電路與設計》,《 程序設計基礎》,《數據結構與演算法》,《編譯原理》 等課程中都有廣泛的應用. 4 不過與《數理邏輯》關系最密切的本科後續課程包括: a. 《人工智慧》:《數理邏輯》課程是《人工智慧》必需的先修課程, 其中有關推理及非經典邏輯的內容將在《人工智慧》 課程中進一步深化,而《人工智慧》 課程中的知識表示等部分的內容也需要先學習《數理邏輯》 課程中的謂詞邏輯部分的基本內容. b. 《集合論與圖論》:《數理邏輯》課程雖不是《集合論與圖論》 必然的先修課程, 但命題邏輯和謂詞邏輯部分的等值演算對於集合論的學習有很大幫助 . c. 《代數結構》:《數理邏輯》課程也不是《代數結構》 必然的先修課程,但《代數結構》 課程將對本課程中的公理化方法作進一步的深化, 而命題邏輯部分的內容在格與布爾代數部分的學習中也將得到進一步 深化. 3, 平行課程根據我系計算機科學與技術專業教學計劃, 第二學期還將同時開設《數字邏輯電路與設計》,以及《 程序設計基礎》等課程.命題邏輯的基本知識, 特別是等值演算部分(命題邏輯公式的化簡及範式的求解等) 的知識在《數字邏輯電路與設計》課程中十分有用, 任課教師應注意《數字邏輯電路與設計》課程的講課進度, 與該課程任課教師加以配合, 共同深化學生對這一部分內容的理解和運用. 《數理邏輯》課程的多數內容與《程序設計基礎》 課程有十分密切的聯系,例如:a. 自然語言命題在命題邏輯中的符號化對於學生編寫程序中的條件與循 環語句中的條件表達式很有幫助;b. 程序本身是一個形式系統, 程序的運行與命題演算系統的形式推理有本質的聯系; c. 編寫程序與形式推理的構造本質上都是問題求解, 自頂向下的分析思維在這兩者中都發揮著重要作用. 五、教學內容與學時分配

求採納