《數理邏輯與集合論》是2015年科學出版社出版的圖書，作者是房元霞、趙汝木、盛秀艷。
《數理邏輯與集合論》是2001年北京希望電子出版社出版的圖書，作者是楊明、王宏。內容簡介本書是清華大學計算機系列教材《數理邏輯與集合論》(第二版)一書的配套教材。全書分為兩大部分：第l部分是主教材《數理邏輯與集合論》(第...
《數理邏輯與集合論》是2015年科學出版社出版的圖書，作者是房元霞、趙汝木、盛秀艷。內容簡介 本書的內容為數理邏輯和集合論，共8章.第1～5章是數理邏輯部分：第1~3章是數理邏輯，包括命題邏輯、謂詞邏輯及其公理化理論；第4章是...
《數理邏輯與集合論——新數學入門概念》是現代陳頤昌編著的一部哲學著作。內容簡介 作者隊為，新數學——現代數學已在各學科，科技領域都有很廣泛的套用，因此必須學好數學的基礎知識。本書就是幫助青年自學數理邏輯與集合淪的基礎知識...
《數理邏輯、集合》是現代邱偉德、胡美琛編著的一部哲學著作。內容簡介 本書是“離散數學普及叢書”的第一分冊，共分三章，依次是數理邏輯、矩陣、集合，採用形象和直觀的方法講解諸如命題、複合命題、命題連線詞、真值表、範式，謂詞、...
廣義上，數理邏輯包括集合論、模型論、證明論、遞歸論。這裡我們先介紹它的兩個最基本的也是最重要的組成部分，就是“命題演算”和“謂詞演算”。命題演算是研究關於命題如何通過一些邏輯連線詞構成更複雜的命題以及邏輯推理的方法。命題是...
集合論在幾何、代數、分析、機率論、數理邏輯及程式語言等各個數學分支中，都有廣泛的套用。集合的元素應該滿足某些公理。可以建立各種集合論公理系統，例如1904年至1908年間，策梅洛(E.Zermelo，德，1871—1953)為避免羅素悖論提出的第一...
《數理邏輯》是2020年復旦大學出版社有限公司出版的圖書，作者是郝兆寬。內容簡介 本書是“邏輯與形上學教科書系列”中的一本。書中從零起點開始，介紹了數理邏輯的基本知識。全書共10章:第一章是預備知識，主要介紹書中所需要的集合...
第一章 集合與公理 1．1 羅素悖論 1．2 一點數理邏輯 1．3 公理 1．4 習題 第二章 關係與函式 2．1 關係 2．2 函式 2．3 等價與劃分 2．4 序 2．5 習題 第三章 實數的構造 3．1 自然數 3．2 自然數上的遞歸定理...
《集合論淺說》是現代張錦文編著的一部哲學著作。內容簡介 本書雖按公理方法的基本要求展開的，但仍以初等集合論為中心，是一本數理邏輯的入門書，為命題邏輯和謂詞邏輯提供了直觀背景。全書共分17章，依次介紹了集合論的基本概念，證明...
《數理邏輯的思想與方法》是2006年南開大學出版社出版的圖書，作者是李娜。本書介紹以數理邏輯為主要研究對象的的數理理論等方法。編輯推薦 《數理邏輯的思想與方法》內容涉及集合論初步、命題和命題形式、命題邏輯、命題邏輯系統的特徵、狹...
第一章 集合與公理 1．1 羅素悖論 1．2 一點數理邏輯 1．3 公理 1．4 習題 第二章 關係與函式 2．1 關係 2．2 函式 2．3 等價與劃分 2．4 序 2．5 習題 第三章 實數的構造 3．1...
《南開哲學教材系列：數理邏輯的思想與方法》是2012年10月1日南開大學出版社出版的圖書，作者是李娜。內容簡介 《數理邏輯的思想與方法》在選材上，只涉及數理邏輯的基本內容（包括命題邏輯和狹謂詞邏輯），不涉及傳統邏輯，也不涉及現代...
集合論中為什麼會產生矛盾這個非常根本的問題，涉及數學邏輯推理的可信性和數學命題的真理性問題，屬於數學哲學的範疇。從1900年到1930年的30年間，許多數學家捲入了一場關於數學哲學基礎的討論，並逐漸形成不同的數學基礎學派的爭論，主要...
便於學生對教學內容的理解和掌握。本書還附有配套的電子教案PPT，有需要的讀者可掃描每章末的二維碼進行閱讀和使用。圖書目錄 前言 第一篇集合論 第二篇代數系統 第三篇圖論 第四篇數理邏輯 ...
《離散數學（第2版）》是清華大學出版社於2022年出版的圖書，作者是劉忠艷、付喜輝、劉金芳、李懿、王光輝、劉輝。內容簡介 本書包括數理邏輯、集合論、圖論和組合與代數四部分內容。書中定義、原理論述詳細，通俗易懂，內容豐富，既注重...
《離散數學》是2015年北京大學出版社出版的圖書，作者是耿素雲、屈婉玲。內容簡介 本書共分四大部分，數理邏輯部分包括命題邏輯的基本概念、等值演算、範式與推理論，一階邏輯的基本概念、前束範式以及推理理論。集合論部分包括集合的基本概念...
《離散數學》分為數理邏輯、集合論、代數結構、組合數學、圖論、初等數論等六個部分。全書既有嚴謹的、系統的理論闡述，也有豐富的、面向計算機科學技術發展的套用實例，同時選配了大量的典型例題與練習。各章內容按照模組化組織，可以適應...
全書共9章，分為4篇：數理邏輯、集合論、代數系統、圖論。數理邏輯包括命題邏輯和謂詞邏輯；集合論介紹了集合、關係、函式等；代數系統介紹了群、環、域等；圖論部分介紹了圖的基本概念及特殊圖。成書過程 修訂過程 該教材依據《中國...
該教材分為6大部分共19個章節的內容，主要包括數理邏輯、集合論、代數結構、組合數學、圖論、初等數論。此外，在每一章節下還設有習題。成書過程 修訂過程 《離散數學（第2版）》由屈婉玲、耿素雲、張立昂擔任主編。具體編寫分工如下：第...
《離散數學》是2011年7月1日中國鐵道出版社出版的圖書，作者是張輝、張瑜、孫憲坤。內容簡介 離散數學是計算機科學基礎理論的核心課程，也是現代數學的一個重要分支。本教材包含了集合論、圖論、數理邏輯、組合數學、代數系統等內容。在介紹...
《高等學校規劃教材?離散數學》是2008年電子工業出版社出版的圖書，本書主要講述了：數理邏輯、集合論與關係、組合數學與數論初步、圖論和代數結構。同時包含歷年等級考試中的試題和同等學歷碩士學位全國統考的模擬試題。內容簡介 《高等學校...
《離散數學》是2009年12月中國鐵道出版社出版的書籍，作者是劉任任。本書介紹離散數學的基本概念、基本定理、運算規律以及離散數學在計算機科學與技術中的套用，主要內容包括集合論、圖論、數理邏輯、代數結構、組合分析等。內容簡介 本書力求...
