图书标签: 逻辑学 数理逻辑 逻辑 逻辑与语言 缺书 模态逻辑 数学 Cognitive_Science
发表于2024-11-22
现代逻辑学讲义(两册) pdf epub mobi txt 电子书 下载 2024
《现代逻辑学讲义:数理逻辑+模态逻辑(套装共2册)》包括:《模态逻辑(现代逻辑学讲义)》、《数理逻辑(现代逻辑学讲义)》2本。
《模态逻辑》:模态逻辑是研究可以用模态语言表述的推理形式的有效性的学问。它是哲学逻辑的基础,作为一门课程,它是逻辑学专业的基础课之一。本讲义介绍了句子层次上(命题型的)模态逻辑最基本的内容。
本讲义内容多,知识面广,定理定义表达严谨,例题习题丰富,可作为高等学校逻辑学专业本科生、研究生教材使用。
《数理逻辑》:数理逻辑是研究可以用数学语言表述的推理形式的有效性的学问。它是全部逻辑的基础,作为一门课程,它是逻辑学专业最重要的基础课。
数理逻辑分两大部分:句子逻辑和量化逻辑。本讲义介绍句子逻辑的基本内容和量化逻辑的基础——一阶逻辑的基本内容。
本讲义内容丰富,知识面广,表达严谨,习题例题丰富,可作为高等学校逻辑学专业本科生、研究生教材使用。
可以一用
评分可以一用
评分可以一用
评分可以一用
评分可以一用
评分
评分
评分
评分
现代逻辑学讲义(两册) pdf epub mobi txt 电子书 下载 2024