点此进入淘宝搜索页搜索　　參考價格: 点此进入淘宝搜索页搜索
　　分類: 图书,教材教辅与参考书,大学,数理化,
　　品牌: 石纯一

基本信息·出版社：清华大学出版社

·页码：223 页

·出版日期：2000年

·ISBN：7302040427

·条形码：9787302040422

·包装版本：2版

·装帧：平装

·开本：1

·正文语种：中文

·丛书名：清华大学计算机系列教材

产品信息有问题吗？请帮我们更新产品信息。

内容简介《数理逻辑与集合论》介绍了数理逻辑与集合论是离散数学的主要组成部分，是计算机科学的数学基础。

目录

第1章：命题逻辑的基本概念

第2章：命题逻辑的等值和推理演算

第3章：命题逻辑的公理化

第4章：谓词逻辑的基本概念

第5章：谓词逻辑的等值和推理演算

第6章：谓词逻辑的公理化

第7章：一阶形式理论及模型

第8章：证明论中的逻辑系统

第9章：集合

第10章：关系

第11章：函数

第12章：实数集合与集合的基数

……[看更多目录]

 

 

免责声明：本文为网络用户发布，其观点仅代表作者个人观点，与本站无关，本站仅提供信息存储服务。文中陈述内容未经本站证实，其真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。