国产av网站高清,av无码乱码在线观看性色

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

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

作者簡(jiǎn)介

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

圖書目錄

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