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

请输入您要查询的图书:

 

书名 现代逻辑学讲义(共2册)
分类 人文社科-哲学宗教-逻辑学
作者 李小五
出版社 中山大学出版社
下载
简介
编辑推荐

《模态逻辑》:模态逻辑是研究可以用模态语言表述的推理形式的有效性的学问。它是哲学逻辑的基础,作为一门课程,它是逻辑学专业的基础课之一。本讲义介绍了句子层次上(命题型的)模态逻辑最基本的内容。

本讲义内容多,知识面广,定理定义表达严谨,例题习题丰富,可作为高等学校逻辑学专业本科生、研究生教材使用。

《数理逻辑》:数理逻辑是研究可以用数学语言表述的推理形式的有效性的学问。它是全部逻辑的基础,作为一门课程,它是逻辑学专业最重要的基础课。

数理逻辑分两大部分:句子逻辑和量化逻辑。本讲义介绍句子逻辑的基本内容和量化逻辑的基础——一阶逻辑的基本内容。

本讲义内容丰富,知识面广,表达严谨,习题例题丰富,可作为高等学校逻辑学专业本科生、研究生教材使用。

目录

现代逻辑学讲义:模态逻辑

现代逻辑学讲义:数理逻辑

随便看

 

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

 

Copyright © 2002-2024 101bt.net All Rights Reserved
更新时间:2025/4/7 8:38:59