网站首页  软件下载  游戏下载  翻译软件  电子书下载  电影下载  电视剧下载  教程攻略

请输入您要查询的图书:

 

书名 面向计算机科学的数理逻辑/中国科学院研究生教学丛书
分类 科学技术-自然科学-数学
作者 陆钟万
出版社 科学出版社
下载
简介
内容推荐

本书叙述了与计算机科学紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑了逻辑系统的特征,并且适应计算机科学的要求。本书研究各种逻辑的背景、语言、语义、形式推演,以及可靠性和完备性等问题。本书大部分章节附有习题。

本书读者对象:高校计算机专业师生,科研人员。

目录

绪论

第一章 预备知识

第二章 经典命题逻辑

第三章 经典一阶逻辑

第四章 可靠性和完备性

第五章 紧致性定理、Lowenheim-Skolem定理、Herbrand定理

第六章 公理推演系统

第七章 构造性逻辑

第八章 模态命题逻辑

第九章 模态一阶逻辑

附录 自然推演中形式证明的简明形式

参考文献

符号表

汉英名词对照表

试读章节

本书的内容是自足的。预备知识包括集以及归纳定义和归纳证明的基本概念,使用标准的陈述和记号。熟悉这些内容的读者可以略去,或者当需要时参考。

随便看

 

霍普软件下载网电子书栏目提供海量电子书在线免费阅读及下载。

 

Copyright © 2002-2024 101bt.net All Rights Reserved
更新时间:2025/3/16 16:59:21