蜜月va国产精品视频,日本aⅴ免费a片午夜大片

內容簡介

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

作者簡介

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

圖書目錄

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