集論與邏輯：面向計算機科學

定　價：￥18.00

作　者：	沈恩紹著
出版社：	科學出版社
叢編項：
標　簽：	集論數理邏輯

購買這本書可以去

當當網 (￥15.30)

ISBN：	9787030110473	出版時間：	2003-01-01	包裝：
開本：	24cm	頁數：	198頁	字數：

內容簡介

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

作者簡介

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

圖書目錄

序言
第一篇基礎集論
第一章集合的基本關系與運算
1 集合的表示：內涵與處延
2 集合的運算、構集公理
第二章關系與函數
1 基本概念、關系的運算
……
第三章有限集與無限集
1 無窮公理與自然數、歸納與遞歸
……
第二篇經典邏輯
第四章引論
第五章命題邏輯（PL）
1 PL的句（語）法
2 語義學——PL公式之語義、PL模型
……
第六章一階邏輯（FO）
1 自然引入
2 一階語言與一階公式
……