出版時間:2001-8-1 出版社:北京希望電子出版社 作者:楊明,王宏 頁數(shù):150
Tag標簽:無
內(nèi)容概要
本書是清華大學計算機系列教材《數(shù)理邏輯與集合論》(第二版)的配套教材,分為主教材《數(shù)理與邏輯與集合論》各章的內(nèi)容精要與學習指導和主教材相應章節(jié)的習題解答。
書籍目錄
一,命題邏輯的基本概念
二,命題邏輯的等值和推理演算
三,命題邏輯的公理化
四,謂詞邏輯的基本概念
五,謂詞邏輯的等值和推理演算
六,謂詞邏輯的公理化
七,一階形式理論及模型
八,證明論中的邏輯系統(tǒng)
九,集合
十,關系
十一,函數(shù)
十二,實數(shù)集合與集合的基數(shù)
習題解答
圖書封面
圖書標簽Tags
無
評論、評分、閱讀與下載