集論與邏輯：面向計算機科學(xué)

定　價：￥18.00

作　者：	沈恩紹著
出版社：	科學(xué)出版社
叢編項：
標(biāo)　簽：	集論數(shù)理邏輯

購買這本書可以去

當(dāng)當(dāng)網(wǎng) (￥15.30)

ISBN：	9787030110473	出版時間：	2003-01-01	包裝：
開本：	24cm	頁數(shù)：	198頁	字?jǐn)?shù)：

內(nèi)容簡介

　　21世紀(jì)高等院校教材。本書由基礎(chǔ)集論與經(jīng)典邏輯兩部分內(nèi)容組成。集論部分闡述了公理化思想及構(gòu)造性技巧，對“關(guān)系演繹”及“歸納與速歸”兩個板塊。邏輯部分介紹了完備性定理的證明、緊性定理及下降型的L-S定理這兩個一階邏輯的特征屬性等。

作者簡介

暫缺《集論與邏輯：面向計算機科學(xué)》作者簡介

圖書目錄

序言
第一篇基礎(chǔ)集論
第一章集合的基本關(guān)系與運算
1 集合的表示：內(nèi)涵與處延
2 集合的運算、構(gòu)集公理
第二章關(guān)系與函數(shù)
1 基本概念、關(guān)系的運算
……
第三章有限集與無限集
1 無窮公理與自然數(shù)、歸納與遞歸
……
第二篇經(jīng)典邏輯
第四章引論
第五章命題邏輯（PL）
1 PL的句（語）法
2 語義學(xué)——PL公式之語義、PL模型
……
第六章一階邏輯（FO）
1 自然引入
2 一階語言與一階公式
……