中文天堂在线资源www亚洲网,国产AV一区二区精品久久凹凸

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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