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

定　價(jià)：￥18.00

作　者：	石純一，王家廞編著
出版社：	清華大學(xué)出版社
叢編項(xiàng)：	清華大學(xué)計(jì)算機(jī)系列教材
標(biāo)　簽：	科學(xué)與自然數(shù)理化大學(xué) 教材教輔與參考書

購(gòu)買這本書可以去

ISBN：	9787302040422	出版時(shí)間：	2000-01-01	包裝：	平裝
開本：	26cm	頁(yè)數(shù)：	224	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書目錄

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