《數理邏輯、集合》是現代邱偉德、胡美琛編著的一部哲學著作。
基本介紹
- 中文名:數理邏輯、集合
- 作者:邱偉德、胡美琛
- 出版社:人民郵電出版社
- 類別:哲學
- 創作年代:現代
《數理邏輯、集合》是現代邱偉德、胡美琛編著的一部哲學著作。
《數理邏輯、集合》是現代邱偉德、胡美琛編著的一部哲學著作。內容簡介本書是“離散數學普及叢書”的第一分冊,共分三章,依次是數理邏輯、矩陣、集合,採用形象和直觀的方法講解諸如命題、複合命題、命題連線詞、真值表、範式,謂詞、量...
《數理邏輯與集合論》是2015年科學出版社出版的圖書,作者是房元霞、趙汝木、盛秀艷。內容簡介 本書的內容為數理邏輯和集合論,共8章.第1~5章是數理邏輯部分:第1~3章是數理邏輯,包括命題邏輯、謂詞邏輯及其公理化理論;第4章是簡單模態邏輯,第5章是利用基礎知識分析基礎教育階段數學教學中遇到的問題.在每一...
作者叫泛集,universalset)、空集、集合簇、類、集體(Collection)等基本概念;集合的各種運算;用圖解論證有些述詞的真假;序偶、卡氏集等;關係;劃分;映射,包括複合映射、映射、上映射、反映射、逆映射、恆等映射。本書極其簡單,是數理邏輯和集合論的基礎概念與方法南簡單介紹。出版信息 萬里書店1977年3月版。
《數理邏輯與集合論》是2001年北京希望電子出版社出版的圖書,作者是楊明、王宏。內容簡介 本書是清華大學計算機系列教材《數理邏輯與集合論》(第二版)一書的配套教材。全書分為兩大部分:第l部分是主教材《數理邏輯與集合論》(第二版)各章的內容精要與學習指導,包括主教材中的基本概念、基本公式、定義、定理及...
是用數學方法研究邏輯或形式邏輯的學科。其研究對象是對證明和計算這兩個直觀概念進行符號化以後的形式系統。數理邏輯是基礎數學的一個不可缺少的組成部分。雖然名稱中有邏輯兩字,但並不屬於單純邏輯學範疇。釋義 所謂數學方法就是指數學採用的一般方法,包括使用符號和公式,已有的數學成果和方法,特別是使用形式的公理...
《數理邏輯》是2008年8月由北京大學出版社出版的圖書,作者是邢滔滔。內容簡介 本書脫胎於北京大學哲學系本科“數理邏輯”課程的講義,針對邏輯學的初學者,尤其是初學邏輯的學生,介紹一階邏輯的最基本的知識和技術,包括一階語言的語形和語義、一階推演系統、一階邏輯的完全性定理等。圖書目錄 章 緒論:從直觀到...
公理集合論(axiomatic set theory),是數理邏輯的主要分支之一,是用公理化方法重建(樸素) 集合論的研究以及集合論的元數學和集合論的新的公理的研究。19世紀70年代,德國數學家G.康托爾給出了一個比較完整的集合論,對無窮集合的序數和基數進行了研究。20世紀初,羅素悖論指出了康托爾集合論的矛盾。為了克服悖論...
有關點集的基本理論,稱為點集論,而集合論討論比點集更廣泛、更抽象的一般集合。集合論在幾何、代數、分析、機率論、數理邏輯及程式語言等各個數學分支中,都有廣泛的套用。集合的元素應該滿足某些公理。可以建立各種集合論公理系統,例如1904年至1908年間,策梅洛(E.Zermelo,德,1871—1953)為避免羅素悖論提出的第...
《數理邏輯的思想與方法》在選材上,只涉及數理邏輯的基本內容(包括命題邏輯和狹謂詞邏輯),不涉及傳統邏輯,也不涉及現代邏輯的其他分支,因此,《數理邏輯的思想與方法》的體系是作者的獨創,另外,為了使讀者更好地理解和掌握數理邏輯的思想和方法,大部分章節都配有一定量的練習。圖書目錄 序 第一章集合論初步 ...
《數理邏輯》是2020年復旦大學出版社有限公司出版的圖書,作者是郝兆寬。內容簡介 本書是“邏輯與形上學教科書系列”中的一本。書中從零起點開始,介紹了數理邏輯的基本知識。全書共10章:第一章是預備知識,主要介紹書中所需要的集合論的初步知識:第二至第六章是一階邏輯的基本內容,重點介紹哥德爾的完全性定理;...
自亞里士多德起至17世紀後期是形式邏輯的古典階段。古典形式邏輯包括幾種常見的演繹推理和最簡單的量詞理論,也使用一些特有符號。它沒有探討關係邏輯和公理系統的邏輯性質。自17世紀後期G.W.萊布尼茨起是數理邏輯的萌芽和發展時期,是形式邏輯的現代階段。數理邏輯使用大量的特製表意符號,在不同部分套用不同程度的數學...
《高等學校規劃教材?離散數學》是2008年電子工業出版社出版的圖書,本書主要講述了:數理邏輯、集合論與關係、組合數學與數論初步、圖論和代數結構。同時包含歷年等級考試中的試題和同等學歷碩士學位全國統考的模擬試題。內容簡介 《高等學校規劃教材?離散數學》包括離散數學中的五部分內容:數理邏輯、集合論與關係、組合...
《離散數學/高等學校套用型特色規劃教材》是2014年1月1日清華大學出版社出版的圖書,作者是楊彥、周方、廖自能。內容簡介 《離散數學/高等學校套用型特色規劃教材》共分4章,內容分別為集合、數理邏輯、代數系統和圖論。集合主要包括集合概念、二元關係和函式。數理邏輯主要包括數理邏輯和謂詞邏輯,就是將自然語言轉化為...
《離散數學基礎 (第2版)》是2010年中國科學技術大學出版社出版的圖書,作者是王傳玉。內容簡介 本書包含四部分內容:數理邏輯、集合論初步、代數結構與圖論.第1章 數理邏輯.第2章 謂詞邏輯.第3章 集合代數.第4章 二元關係:包括關係的基本概念及若干特殊關係.第5章 函式:包括映射等基礎知識.第6章 代數結構:...
《離散數學》是1982年9月由上海科學技術文獻出版社出版的圖書,作者是左孝凌 李為鑑 劉永才。本書主要介紹了數理邏輯,集合論,代數結構和圖論四個專題、形式語言與自動機以及糾錯碼初步等內容。內容簡介 《離散數學》是計算機科學核心課程——離散數學的基本教材。全書共分五篇。內容敘述嚴謹,推演詳盡,大部分概念都...
數學基礎、數學哲學、範疇論、集合論、型論 數學邏輯 模型理論、證明理論、遞歸理論、集合論、型論 離散數學 組合數學、計算理論、密碼系統、圖論 套用數學 數學物理、分析力學、數學流體力學、數值分析、數學最佳化、或然率、統計學、數學經濟學、財政數學、對策論、數學生物學、密碼術、作業研究、信息理論、控制理論、...
《離散數學學習指導》是2005年科學出版社出版的圖書,作者是董曉蕾,曹珍富。內容簡介 《離散數學學習指導》是關於離散數學的一本學習指導書,共分五篇,依次為:數理邏輯,集合論,代數系統,組合分析與算法數論,圖論;共十二章:命題邏輯,一階邏輯,集合,關係,函式,半群、語言與自動機,群、環和域,格與布爾...
《離散數學》是2015年水利水電出版社出版的圖書。內容簡介 《離散數學(第二版)》包含四部分內容:數理邏輯、集合論、代數結構、圖論。每部分內容結合建構主義教學理論,設計不同離散數學套用案例,提供學習《離散數學》知識點的套用場景。每一章選擇有意義的範例和實驗項目,有利於學生通過編程實踐增進對離散數學知識...
《高等教育十二五規劃教材:套用離散數學》是2011年中國礦業大學出版社出版的圖書,作者是趙高長。內容簡介 趙高長主編的《套用離散數學》全面介紹了理工類相關專業所必需的離散數學知識,具體內容包括數理邏輯、集合論、代數論及圖論四個方面。各篇內容相對獨立而又有機聯繫,講解與證明力求嚴格完整。書中的例題、習題...
主要集中在集合論初步、數理邏輯初步、近世代數中的群、環、域、矩陣、向量等、微積分初步機率與統計初步以及計算機科學等方面。(2)用現代數學觀點處理傳統內容,強調結構,組成統一的數學課程。用集合、關係、映射等把傳統數學與現代數學統一起來。(3)精簡傳統內容。廢棄歐幾里德幾何,把平面幾何與立體幾何合併,用...
本書內容包括離散數學4大分支的基礎理論——數理邏輯、集合論、代數系統和圖論。全書共9章,依次為命題邏輯、謂詞邏輯、集合、關係、函式、代數結構、格與布爾代數、圖論及其套用、樹。全書包含較多的與計算機科學和工程有關的例題和習題。本書適合作為高等院校計算機科學與技術、軟體工程等相關專業的教材。作者簡介 郝...
《離散數學》是2004年科學出版社出版的圖書,作者是金晶、徐偉。內容簡介 全書分數理邏輯、集合論、代數系統以及圖論四篇,分別講述了命題邏輯、謂詞邏輯,集合、關係、函式,群、環和域、格與布爾代數、代數系統以及圖論等內容。圖書目錄 第一篇 數理邏輯 第一章 命 題 邏 輯 1.1 命題及其表示法 1.2 命題等價...
《離散數學及其套用》是2020年由清華大學出版社出版的圖書,作者是吳明芬。內容簡介 《離散數學及其套用》就離散數學的四部分經典內容:數理邏輯、集合和關係、圖論、代數結構,按照知識的內在聯繫,循序漸進地介紹相關的概念、理論、方法和套用。《離散數學及其套用》共分9章,第1章集合基礎,第2~3章數理邏輯,第4...
數理邏輯這門學科建立以後,發展比較迅速,促進它發展的因素也是多方面的。比如,非歐幾何的建立,促進人們去研究非歐幾何和歐氏幾何的無矛盾性,就促進了數理邏輯的發展。集合論的產生 是近代數學發展的重大事件,但是在集合論的研究過程中,出現了一次稱作數學史上的第三次大危機。這次危機是由於發現了集合論的悖論...
書籍,武漢大學出版社2002年12月1日出版 內容簡介 本書力求敘述嚴謹,推演嚴密,邏輯清晰,深入淺出,做到概念與實例密切結合,學生通過本課程的學習將得到嚴格的邏輯推理與抽象思維能力的訓練。本書是編者多年在武漢大學計算機科學系講授離散數學課的基礎上參考國內外同類型教材編寫而成的。全書包括數理邏輯、集合論、...
《高等學校規劃教材:離散數學》是 2008年電子工業出版社出版的圖書,作者是陳光喜,丁宣浩。內容簡介 “離散數學”是研究離散量結構及其相互關係的數學學科,是現代數學的重要組成部分,是計算機科學與技術的理論基礎。《高等學校規劃教材:離散數學》包括離散數學中的五部分內容:數理邏輯、集合論與關係、組合數學與數論...
《離散數學(第3版)》是由陳莉、劉曉霞主編的,2019年高等教育出版社出版的“十二五”普通高等教育本科國家級規劃教材。內容簡介 本書是普通高等教育“十二五”國家級規劃教材,較全面地介紹了計算機科學與技術、軟體工程及相關專業所必需的數學知識。全書共分為數理邏輯、集合論、近世代數與圖論四篇。第一篇包括命題...
該教材分為6大部分共19個章節的內容,主要包括數理邏輯、集合論、代數結構、組合數學、圖論、初等數論。此外,在每一章節下還設有習題。成書過程 修訂過程 《離散數學(第2版)》由屈婉玲、耿素雲、張立昂擔任主編。具體編寫分工如下:第1章~第5章、第14章~第18由耿素雲完成,第6章~第13章由屈婉玲完成,第19章...
《離散數學》分為數理邏輯、集合論、代數結構、組合數學、圖論、初等數論等六個部分。全書既有嚴謹的、系統的理論闡述,也有豐富的、面向計算機科學技術發展的套用實例,同時選配了大量的典型例題與練習。各章內容按照模組化組織,可以適應不同的教學要求。與《離散數學》配套的電子教案和習題輔導用書隨後將陸續推出。《...
《離散數學(第六版)》是清華大學出版社於2021年出版的書籍。內容簡介 本書是北京高等教育精品教材。內容主要包括數理邏輯、集合論、圖論、組合分析初步、代數結構及形式語言和自動機初步6方面的內容。書中概念論述清楚,內容豐富,通俗易懂,並且著重於概念的套用,而不著重於定理的證明。每章後均附有習題,建議學時...