注冊 | 登錄讀書好，好讀書，讀好書！
讀書網(wǎng)-DuShu.com
當(dāng)前位置： 首頁出版圖書教育/教材/教輔教輔大學(xué)教輔數(shù)理邏輯與集合論（第2版）

數(shù)理邏輯與集合論（第2版）

數(shù)理邏輯與集合論（第2版）

定　價：￥18.00

作　者： 石純一，王家廞編著
出版社： 清華大學(xué)出版社
叢編項： 清華大學(xué)計算機系列教材
標　簽： 科學(xué)與自然 數(shù)理化 大學(xué) 教材教輔與參考書
ISBN： 9787302040422 出版時間： 2000-01-01 包裝： 平裝
開本： 26cm 頁數(shù)： 224 字數(shù)：  

內(nèi)容簡介

　　數(shù)理邏輯與集合論是離散數(shù)學(xué)的主要組成部分，是計算機科學(xué)的數(shù)學(xué)基礎(chǔ)。全書共12章，前8章介紹數(shù)理邏輯，包括命題和謂詞邏輯的基本概念、等值和推理演算、公理系統(tǒng)、模型論和證明論，后4章介紹集合論，包括集合、關(guān)系、函數(shù)、實數(shù)集與基數(shù)。本書可作為大學(xué)離散數(shù)學(xué)的教科書，也可供從事計算機科學(xué)、人工智能等方面的科技人員參考。

作者簡介

暫缺《數(shù)理邏輯與集合論（第2版）》作者簡介

圖書目錄

第1章：命題邏輯的基本概念                  
 第2章：命題邏輯的等值和推理演算                  
 第3章：命題邏輯的公理化                  
 第4章：謂詞邏輯的基本概念                  
 第5章：謂詞邏輯的等值和推理演算                  
 第6章：謂詞邏輯的公理化                  
 第7章：一階形式理論及模型                  
 第8章：證明論中的邏輯系統(tǒng)                  
 第9章：集合                  
 第10章：關(guān)系                  
 第11章：函數(shù)                  
 第12章：實數(shù)集合與集合的基數(shù)                  
                    

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) www.dappsexplained.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號