數(shù)理邏輯與集合論（第2版）

定　價：￥18.00

作　者：	石純一，王家廞編著
出版社：	清華大學出版社
叢編項：	清華大學計算機系列教材
標　簽：	科學與自然數(shù)理化大學教材教輔與參考書

購買這本書可以去

ISBN：	9787302040422	出版時間：	2000-01-01	包裝：	平裝
開本：	26cm	頁數(shù)：	224	字數(shù)：

內容簡介

　　數(shù)理邏輯與集合論是離散數(shù)學的主要組成部分，是計算機科學的數(shù)學基礎。全書共12章，前8章介紹數(shù)理邏輯，包括命題和謂詞邏輯的基本概念、等值和推理演算、公理系統(tǒng)、模型論和證明論，后4章介紹集合論，包括集合、關系、函數(shù)、實數(shù)集與基數(shù)。本書可作為大學離散數(shù)學的教科書，也可供從事計算機科學、人工智能等方面的科技人員參考。

作者簡介

暫缺《數(shù)理邏輯與集合論（第2版）》作者簡介

圖書目錄

第1章：命題邏輯的基本概念
第2章：命題邏輯的等值和推理演算
第3章：命題邏輯的公理化
第4章：謂詞邏輯的基本概念
第5章：謂詞邏輯的等值和推理演算
第6章：謂詞邏輯的公理化
第7章：一階形式理論及模型
第8章：證明論中的邏輯系統(tǒng)
第9章：集合
第10章：關系
第11章：函數(shù)
第12章：實數(shù)集合與集合的基數(shù)