數(shù)理邏輯與集合論

內(nèi)容概要

本書是清華大學(xué)計算機(jī)系列教材《數(shù)理邏輯與集合論》(第二版)的配套教材，分為主教材《數(shù)理與邏輯與集合論》各章的內(nèi)容精要與學(xué)習(xí)指導(dǎo)和主教材相應(yīng)章節(jié)的習(xí)題解答。

書籍目錄

一，命題邏輯的基本概念
二，命題邏輯的等值和推理演算
三，命題邏輯的公理化
四，謂詞邏輯的基本概念
五，謂詞邏輯的等值和推理演算
六，謂詞邏輯的公理化
七，一階形式理論及模型
八，證明論中的邏輯系統(tǒng)
九，集合
十，關(guān)系
十一，函數(shù)
十二，實數(shù)集合與集合的基數(shù)
習(xí)題解答

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    數(shù)理邏輯與集合論 PDF格式下載

---