數理邏輯文獻(德)(Archive for MathematicalLogic ) ( Berlin ) 1951年創刊.刊號:513E0001,ISSN0933-5846.原稱《Archive fur MathematischeLogik and Grundlagen forschung》(1951一1987)，由德國W. kohlhammer Gmbh(科爾哈默出版公司)出版;1988年改稱現名後，改由德國Springer出版社出版、發行.每年出版2期.刊載數理邏輯方面的研究論文，兼載諸如在理論計算機科學和哲學等領域中數理邏輯方法起重要作用的論文，偶有綜合性或闡述性文章.用英文發表.
數理邏輯文獻(德)(Archive for MathematicalLogic ) ( Berlin ) 1951年創刊.刊號:513E0001,ISSN0933-5846.原稱《Archive fur Mathemat...
它包含著古典形式邏輯而突破其局限性。數理邏輯始則聯繫數學的實際，繼而又適應其他學科的需要，在近百年內取得了嶄新而飛躍的發展。古典形式邏輯是演繹法研究的前數理邏輯時期。數理邏輯史本身又可分為三個階段。第一階段開始用數學方法...
《數理邏輯：基本原理與形式演算（第二版）》是2018年01月科學出版社出版的圖書，作者是李未。內容簡介 本書的內容共分十章，系統介紹數理邏輯的基本原理與形式演算。前五章涵蓋了經典數理邏輯的核心內容，包括一階語言的語法與模型，...
《面向計算機科學的數理邏輯》是1998年 科學出版社出版的圖書，作者是陸鐘萬。圖書目錄 前言 目錄 緒論 第一章 預備知識 第二章 經典命題邏輯 第三章 經典一階邏輯 第四章 可靠性和完備性 第五章 公理推演系統 第六章 構造性邏輯 ...
《數理邏輯（第2版）》是2010年9月出版的圖書，該書可用作計算機專業研究生或高年級本科生教材，並可供數學、哲學、邏輯等專業研究及教學人員參考。圖書簡介 本書內容分兩部分：第一部分屬數理邏輯基礎，包含命題演算與謂詞演算的基本...
《數理邏輯》是2020年中國人民大學出版 社出版的圖書。內容簡介 《數理邏輯（新編21世紀哲學系列教材；中國人民大學“十三五”規劃教材—特色教材）》是為了給將來致力於數理邏輯研究的讀者奠定堅實基礎而寫的。概括地講，第1-4章為基礎...
《面向計算機科學的數理邏輯系統建模與推理》是2007年機械工業出版社出版的圖書，作者是哈斯瑞安。本書適宜作為高等院校計算機及相關專業的數理邏輯/形式化方法課程的教材，也可供相關研究人員和專業人士參考。內容簡介 本書對計算機科學方面的...
《面向計算機科學的數理邏輯 | 2版》是科學出版社出版的圖書，作者是陸鐘萬。 內容簡介 本書敘述了與計算機科學有緊密聯繫並且相互之間又有聯繫的數理邏輯基礎性內容，包括經典邏輯和非經典邏輯中的構造性邏輯和模態邏輯。圖書目錄 緒論 第...
《普通高等學校十一五規劃教材·數理邏輯》是中國科學技術大學出版社出版的圖書，ISBN是 9787312027086, 7312027083 內容簡介 《普通高等學校十一五規劃教材?數理邏輯(第2版)》內容分兩部分：第一部分屬數理邏輯基礎，包含命題演算與謂詞演算...
《數理邏輯》是2019年高等教育出版社出版的圖書。內容簡介 本書包含一階數理邏輯的基本核心內容， 具體包括一階理論簡介、一階理論的若干定理、一階理論的特殊問題、形式系統的一般理論、 模型論、 遞歸函式和圖靈機、哥德爾不完全性定理...
《數理邏輯：基本原理與形式演算》是2008年在科學出版社出版的圖書，該書作者是李未。該書系統介紹數理邏輯的基本原理與形式演算。該書前五章可作為大學本科生的數理邏輯教材，而後五章可向有關專業的研究生講授，該書也可供數學、信息...
《數理邏輯十二講》是2019年4月機械工業出版社出版的圖書，作者是宋方敏、吳駿。內容簡介 本書介紹數理邏輯的基礎知識和基本理論，主要講授命題演算和謂詞演算。通過本課程的學習，學生將掌握相關的基本概念、基本理論、基本推理，以及公理...
《數理邏輯基礎（下冊）》是1982年科學出版社出版的圖書，作者是胡世華。內容簡介 本書陳述數理邏輯的基礎知識，包括邏輯演算的基本內容．這些內容構成數理邏輯各個分支（模型論、證明論和構造性數學、遞歸論、集合論）的共同的基礎．本書共...
《數理邏輯》是2020年復旦大學出版社有限公司出版的圖書，作者是郝兆寬。內容簡介 本書是“邏輯與形上學教科書系列”中的一本。書中從零起點開始，介紹了數理邏輯的基本知識。全書共10章:第一章是預備知識，主要介紹書中所需要的集合...
《非經典數理邏輯與近似推理》是2000年科學出版社出版的圖書，作者是王國俊。圖書簡介 本書較系統地講述了各種三值邏輯、n值邏輯以及連續值邏輯理論；為模糊命題演算建立了一套形式演繹系統；把模糊推理納入了嚴格的邏輯軌道等內容。圖書...
《數理邏輯基礎與粒計算》是由科學出版社於2007年所出版的圖書，本書作者是閆林。本書面向從事計算機科學、自動控制及相關專業的科研人員和科技工作者，特別是從事人工智慧、粒計算研究的讀者。內容簡介 《數理邏輯基礎與粒計算》由兩部分...
《離散數學及其套用》是2020年西安電子科技大學出版社出版的圖書。內容簡介 “離散數學”是計算機及其相關專業的專業基礎課。全書共分四篇: *篇是數理邏輯, 包括命題邏輯和一階邏輯; 第二篇是集合論, 包括集合、二元關係和函式; 第三...
《離散數學》是2015年北京大學出版社出版的圖書，作者是耿素雲、屈婉玲。內容簡介 本書共分四大部分，數理邏輯部分包括命題邏輯的基本概念、等值演算、範式與推理論，一階邏輯的基本概念、前束範式以及推理理論。集合論部分包括集合的基本概念...
該書是一部綜合性的數學大辭典,涵蓋數理邏輯與數學基礎、數論、代數學、分析學、複分析、常微分方程、動力系統、偏微分方程、泛函分析、組合數學、圖論、幾何學、拓撲學、微分幾何、機率論、數理統計、計算數學、控制論、資訊理論、運籌學...
《離散數學》是2007年5月中國鐵道出版社出版圖書，作者是李崑崙、劉大中、趙紅。內容簡介 本書介紹了離散數學基礎知識和套用方法。全書共分4篇。第1篇為數理邏輯，其中包括命題邏輯、一階謂詞邏輯。第2篇為集合論，其中包括集合的基本...
《離散數學》是2010年清華大學出版社出版的圖書，作者是金聰、郭金蕾。內容簡介 本書以詳盡和豐富的資料，全面介紹計算機科學與技術及相關專業所必需的離散數學知識。本書分為4篇。第1篇為數理邏輯，包括命題邏輯和謂詞邏輯。第2篇為...
數理邏輯、圖論、集合論、抽象代數學。它既注重離散數學內容本身的系統完善，同時又注重與計算機科學的密切聯繫。圖書目錄 目錄 第一篇 數理邏輯 第二篇 集合論 第三篇 圖論 第四篇 抽象代數 參 考文獻 ...
