基本介紹
- 中文名：
- 出版時間：
- 出版社：中國科學技術大學出版社
- ISBN：
- 定價：
- 開本：
- 裝幀：
- 版本：
圖書簡介,再版前言,書籍目錄,
相關詞條
- 數理邏輯（第2版）
《數理邏輯（第2版）》是2010年9月出版的圖書，該書可用作計算機專業研究生或高年級本科生教材，並可供數學、哲學、邏輯等專業研究及教學人員參考。圖書簡介本書內容分兩部分：第一部分屬數理邏輯基礎，包含命題演算與謂詞演算的基...
- 數理邏輯第2版
數理邏輯第2版 《數理邏輯第2版》是一本圖書 內容簡介 版本: 第1版
- 數理邏輯:基本原理與形式演算(第二版)
《數理邏輯：基本原理與形式演算（第二版）》是2018年01月科學出版社出版的圖書，作者是李未。內容簡介 本書的內容共分十章，系統介紹數理邏輯的基本原理與形式演算。前五章涵蓋了經典數理邏輯的核心內容，包括一階語言的語法與模型，...
- 普通高等學校十一五規劃教材·數理邏輯
《普通高等學校十一五規劃教材·數理邏輯》是中國科學技術大學出版社出版的圖書，ISBN是 9787312027086, 7312027083 內容簡介 《普通高等學校十一五規劃教材?數理邏輯(第2版)》內容分兩部分：第一部分屬數理邏輯基礎，包含命題演算與謂詞演算...
- 數理邏輯與集合論(2001年北京希望電子出版社出版的圖書)
《數理邏輯與集合論》是2001年北京希望電子出版社出版的圖書，作者是楊明、王宏。內容簡介 本書是清華大學計算機系列教材《數理邏輯與集合論》(第二版)一書的配套教材。全書分為兩大部分：第l部分是主教材《數理邏輯與集合論》(第二版...
- 面向計算機科學的數理邏輯(第二版)
《面向計算機科學的數理邏輯》（第二版）由科學出版社出版。讀者對象為高校計算機專業師生，科研人員。本書主要敘述了與計算機科學有緊密聯繫並且相互之間又有聯繫的數理邏輯基礎性內容，包括經典邏輯和非經典邏輯中的構造性邏輯和模態邏輯。...
- 數學大辭典(第二版)
該辭典按照數學學科的17個主要分支學科編排詞條,分別為:一、數理邏輯與數學基礎,二、數論,三、代數學,四、代數幾何,五、分析學,六、複分析,七、常微分方程與動力系統,八、偏微分方程,九、泛函分析,十、組合數學、組合設計與圖論,十一...
- 離散數學及其套用(第2版)(2018年高等教育出版社出版的圖書)
《離散數學及其套用（第2版）》是2018年高等教育出版社出版的圖書。內容簡介 《離散數學及其套用（第2版）》主要內容包括數理邏輯、集合論、圖論、組合數學和代數結構簡介五部分，可適用課程少學時的教學要求。為了幫助讀者更好地掌握離散...
- 離散數學(第2版)(2021年高等教育出版社出版的圖書)
《離散數學（第2版）》是由羅熊、謝永紅、劉宏嵐、洪源、田澍、楊炳儒主編，高等教育出版社出版的圖書。內容簡介 《離散數學（第2版）》共分4篇：第1篇為數理邏輯，包括命題邏輯、謂詞邏輯；第2篇為集合論，包括集合、二元關係、函式...
- 離散數學(第二版)(蔡英)
《離散數學（第二版）（蔡英）》是2016年10月西安電子科技大學出版社出版的圖書，作者是蔡英。內容簡介 本書系統地介紹了離散數學的基本內容。全書共分10章，主要由4部分組成：數理邏輯，包括命題邏輯和一階邏輯；集合論，包括集合的...
- 工科離散數學(第2版)
《工科離散數學（第2版）》是電子工業出版社出版的圖書，作者是牛連強 等。內容簡介 本書共8章，以數理邏輯為基礎，介紹命題邏輯、謂詞邏輯、集合論基礎、關係、函式、運算與代數系統、圖和初等數論基礎的相關內容，配套微課視頻、電子...
- 離散數學基礎 (第2版)
《離散數學基礎 （第2版）》是2010年中國科學技術大學出版社出版的圖書，作者是王傳玉。內容簡介 本書包含四部分內容：數理邏輯、集合論初步、代數結構與圖論.第1章 數理邏輯.第2章 謂詞邏輯.第3章 集合代數.第4章 二元關係：包括...
- 離散數學(第2版)(2022年清華大學出版社出版的圖書)
《離散數學（第2版）》是清華大學出版社於2022年出版的圖書，作者是劉忠艷、付喜輝、劉金芳、李懿、王光輝、劉輝。內容簡介 本書包括數理邏輯、集合論、圖論和組合與代數四部分內容。書中定義、原理論述詳細，通俗易懂，內容豐富，既注重...
- 離散數學教程(第二版)
《離散數學教程（第二版）》是2006年大連海事大學出版的圖書，作者是趙廣利、黃健。目錄 第1篇數理邏輯 第1章命題邏輯 §1.1命題與邏輯連線詞 §1.2命題公式與真值表 §1.3永真式與永假式 §1.4代入規則與替換規則 §1.5等價...
- 計算機學科概論(第2版)
第2部分硬體層 第4章計算機的運算基礎61 【情景問題】模擬數據和數字數據61 4.1數理邏輯基礎62 4.1.1數理邏輯的起源和發展62 4.1.2命題代數與邏輯代數63 4.2二進制64 4.2.1進位計數制65 4.2.2二進制數和十進制數之間的...
- 離散數學(第二版)(2020年科學出版社出版的圖書)
《離散數學（第二版）》是2020年科學出版社出版的圖書，作者是黃亞群、蔣慕蓉、趙春娜。內容簡介 “離散數學”是研究離散結構及其相互關係的學科，是計算機科學與技術專業的核心基礎課程。本書共五篇九章，系統介紹數理邏輯、集合論、圖論、...
- 離散數學第2版
《離散數學第2版》是2008年清華大學出版社出版的圖書，作者是屈碗玲、耿素雲、張立昂。全書共14章,內容包含證明技巧、數理邏輯、集合與關係、函式、組合計數、圖和樹、初等數論、離散機率、代數系統等。編輯推薦 國家精品課程配套教材;根據...
- 離散數學(第2版)(2011年清華大學出版社出版的圖書)
全書共10章，主要包含數理邏輯、集合與關係、函式、組合計數、圖和樹、代數系統、自動機和初等數論等內容。成書過程 修訂情況 該教材根據ACM和IEEE/CS推出的Computing Curricula 2004以及教育部高等教育司組織評審通過的《中國計算機科學與...
- 離散數學及其套用(第2版)
《離散數學及其套用（第2版）》包括5篇，共15章的內容。第1篇預備知識，包括集合論、計數問題；第2篇數理邏輯，包括命題邏輯、謂詞邏輯、證明技術；第3篇二元關係，包括二元關係、特殊關係、函式；第4篇圖 論，包括圖、樹、特殊圖；...
- 離散數學(第二版)(2007年中國人民大學出版社出版的圖書)
第三篇 數理邏輯 第1章 命題演算 1.1 命題和邏輯連線詞 1.2 合式公式 1.3 真值表、永真式 1.4 命題演算中的等價關係 1.5 邏輯連線詞的可省略性 1.6 範式 1.7 推理和證明方法 第2章 謂詞演算 2.1 謂詞 2....
- 離散數學及其套用第2版
本書系統講解離散數學基礎知識和套用方法，由六部分構成；部分數理邏輯，內容包括命題邏輯和謂詞邏輯；第二部分集合論，內容包括集合的基本知識、排列與組合、遞推關係、集合論在命題邏輯中的套用、關係、函式、經典集合的擴展等；第三部分...
- 離散數學(第2版)(2014年高等教育出版社出版的圖書)
《離散數學（第2版）》內容包括：集合論、關係、代數系統、圖論和數理邏輯。本書避免先從數理邏輯開始，用邏輯聯結詞來處理各段內容，全書以集合論作為出發點，突出研究集合中元素與元素間的相互結構。簡單介紹了圖論網路的實際套用問題。
- 離散數學(第2版)(2021年清華大學出版社出版的圖書)
《離散數學（第2版）》是清華大學出版社於2021年出版的書籍。內容簡介 本書主要介紹了離散數學的基本內容和一些簡單套用。全書共分5章,分別介紹命題邏輯、謂詞邏 輯、集合論、二元關係和圖論。本書整體結構清晰,概念清楚,重點突出。為了...
- 離散數學基礎(第二版)(2016年出版的圖書)
第2章數理邏輯 2.1命題及聯結詞 2.1.1命題的概念 2.1.2命題聯結詞 2.2命題公式和分類 2.2.1命題變元和命題公式 2.2.2命題公式的賦值和真值表 2.2.3命題公式的類型 2.3等值演算與範式 2.3.1等價和基本等價式 2.3....
- 數理邏輯入門
📖 【書名】《數理邏輯入門》 💡 【作者】李錫胤 💝 【圖書風格】科學與自然 👍 【推薦指數】 🌟🌟🌟🌟🌟 🍀 【推薦理由】所謂數學方法就是指數學採用的一般方法,包括使用符號和公式,已有的數學成果和方法,特別是使用...
- 算法與數據結構(第2版)
作者簡介 寧正元，1957年生，男，陝西武功人，福建農林大學計算機與信息學院教授，主要研究方向為智慧型計算算法分析。賴賢偉，1981年生，男，福建漳州人，碩士，福建農林大學計算機與信息學院助教，主要研究方向為多Agent系統、數理邏輯。
- 計算機導論——計算思維和套用技術(第2版)
第3部分為計算技術（第5~8章），主要討論計算機主要技術和工作原理，介紹信息編碼的基本方法、數理邏輯、計算機硬體基本結構、作業系統主要功能和結構、網路通信基本原理、信息安全防護和加密技術，以及資料庫技術、圖形處理技術、常用套用軟體...
- 現代數學基礎叢書(典藏版:第一輯)
數理邏輯基礎（下冊）緊黎曼曲面引論 組合論（上冊）組合論（下冊）數理統計 多元統計分析引論 有限群構造（上冊）有限群構造（下冊）測度論基礎 分析機率論 微分方程定性理論 傅立葉積分運算元理論及其套用 辛幾何引論 機率論基礎和隨機過程...
- 現代數學基礎叢書(典藏版:第三輯)
108非經典數理邏輯與近似推理(第二版)109非參數蒙特卡羅檢驗及其套用 110Camassa-Holm方程 111環與代數(第二版)112泛函微分方程的相空間理論及套用 113機率論基礎(第二版)114自相似集的結構──Hausdorff測度與上凸密度 115現代統計研究...
- 離散數學導論(2011年高等教育出版社出版的圖書)
《離散數學導論(第4版)》由六篇組成，分別是緒言、集合論、代數系統、圖論、數理邏輯和離散建模，並以離散建模為特色。《離散數學導論(第4版)》取材精練、重點突出、簡明易懂、篇幅短小，既強調數學的嚴謹性與抽象性，又不拘泥於數學...
