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

请输入您要查询的图书:

 

书名 数理逻辑实验教程(高等院校哲学专业核心课程教材)
分类 科学技术-自然科学-数学
作者 李娜
出版社 武汉大学出版社
下载
简介
编辑推荐

本书作为逻辑学专业的核心教材之一,全面而系统地介绍了数理逻辑的基本概念、理论知识。全书共分三个部分,第一部分从实验的形式介绍了三种在线逻辑软件的使用,第二部分介绍了复合命题的基础知识,第三部分介绍了一阶逻辑,尤其是量词逻辑。

目录

第一部分 逻辑软件简介

 第一章 在线逻辑软件简介

第一节 propositional logic简介

第二节 predicatcate Logic简介

第三节 Tree Proof Generater简介

 第二章 LPL Software简介

第一节 Tarski's world 5.0的命令和操作方法 

第二节 Tarski's world 6.5的命令和操作方法

第三节 Boole 2.5的命令和操作方法

第四节 Fitch 2.5的命令和操作方法

第二部分 命题逻辑

 第三章 简单命题

第一节 简单命题

第二节 集论语言和算术语言

第三节 广义的一阶语言

第四节 证明方法

第五节 形式证明方法

练习

 第四章 复合命题(一)

第一节 逻辑联结词■、^和v

第二节 含有■、^和v的逻辑等值式

第三节 可满足与逻辑真

第四节 ■、^和v的证明方法

第五节 ■、^和v的形式证明方法

第六节 范式

练习

 第五章 复合命题(二)

第一节 逻辑联结词_■和■

第二节 ■一和■H的证明方法

第三节 ■和■的形式证明方法

第四节 形式系统的扩展

练习

第三部分 量词逻辑

 第六章 量词的引入

第一节 一阶公式

第二节 含有否定词和量词的等值式

第三节 含有量词V和]的证明方法

第四节 ■和■的形式证明方法

练习

 第七章 量词逻辑

第一节 ■V或■的单独使用

第二节 ■V和■的混合使用

第三节 ■V和■混合使用的证明方法

第四节 ■V和■混合使用的形式证明方法

第五节 形式系统的进一步扩展

第六节 前束范式

练习

参考文献

形式证明规则一览表

随便看

 

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

 

Copyright © 2002-2024 101bt.net All Rights Reserved
更新时间:2025/4/8 3:50:47