相關詞條
-
數理邏輯
數理邏輯又稱符號邏輯、理論邏輯。它既是數學的一個分支，也是邏輯學的一個分支。是用數學方法研究邏輯或形式邏輯的學科。其研究對象是對證明和計算這兩個直觀概念...
簡介 產生 內容 發展 體系 -
數理邏輯基礎
德國希爾伯特及其學生阿克曼合著。分命題演算、類演算、狹義謂詞演算、廣義謂詞演算四章。原書名為《理論邏輯基礎》，第一、二版分別於1928年、1938年出版，第三、四版在希爾伯特身後由阿克曼修訂分別於1949年...
-
數理邏輯史
以演繹方法為中心內容的形式邏輯已有2000多年的歷史。最早從形式結構來論述演繹推理的著作是古希臘亞里士多德的《工具論》。自亞里士多德起至17世紀後期是形...
概述 發展 關於數學基礎的爭論 直覺主義 希爾伯特方案 -
數理邏輯基礎（上冊）
《數理邏輯基礎（上冊）》是由科學出版社於1981年1月出版的一本圖書，作者是胡世華、陸鍾萬。
內容簡介 編輯推薦 -
數理邏輯基礎與粒計算
版次： 裝幀： 開本：
基本信息 內容簡介 -
數理邏輯引論
《數理邏輯引論》是2011-11-1哈爾濱工業大學出版社出版的圖書，作者是李濤。
內容介紹 圖書目錄 -
數理邏輯初步
《數理邏輯初步》是現代莫紹揆編著的一部哲學著作。
內容簡介 出版信息 -
數理邏輯[用數學方法研究邏輯或形式邏輯的學科]
形式邏輯形式上符號化、數學化的邏輯，本質上仍屬於知性邏輯的範疇。數理邏輯又稱符號邏輯、理論邏輯。它既是數學的一個分支，也是邏輯學的一個分支。是用數學方法...
定義 釋義 產生 內容 發展 -
數理邏輯（第2版）
《數理邏輯（第2版）》是2010年9月出版的圖書，該書可用作計算機專業研究生或高年級本科生教材，並可供數學、哲學、邏輯等專業研究及教學人員參考。
圖書簡介 再版前言 書籍目錄 -
數理邏輯發展史：從萊布尼茨到哥德爾
的符號體系一 數理邏輯二 數學基礎第三節 羅素的邏輯演算一 命題演算和...內容介紹第一章 導論第一節 數理邏輯史的研究對象和分期第二節 數理邏輯史研究中的幾個方法論問題一 數理邏輯理論的發生和發展同社會實踐的辯證關係...
