离散数学之数理逻辑01

前言：
使用教材
《离散数学》第2版，屈婉玲，耿素云，张立昂，高等教育出版社
学习视频
bilibili网站：【北大】离散数学-03数理逻辑

以下笔记针对视频而作
教材：

《离散数学教程》耿素云，屈婉玲，王捍贫，北京大学出版社
《数理逻辑——离散数学第一分册》王捍贫，北京大学出版社

参考书

《离散数学习题解析》耿素云，屈婉玲，王捍贫北京大学出版社 2008年
《面向计算机科学的数理逻辑》陆钟万北京大学出版社 1989（第二版科学出版社 1998）
《计算机科学中的逻辑学》王元元科学出版社 1989
《数理逻辑》（原名：logic for Mathematicians; 【为数学家写的数理逻辑】）哈密尔顿，朱水林译华东师大出版社 1986
《A Mathematical Introduction to Logic(2ed Edition)》H. B. Enderton 2001

逻辑数理的参考书非常多，挑数的时候不要挑选冠名是“离散数学的逻辑数理”的参考书（北京大学这本除外），这样的书大多比较浅显，逻辑容易混淆；尽量挑以“数理逻辑命”名的书籍。

什么是数理逻辑

字面含义：数学理论的逻辑。逻辑是研究演绎（推理）规律的学科。
广义理解：用数学方法研究演绎规律的学科。
狭义理解：用数学方法研究数学中演绎规律和数学基础的学科。
研究对象：推理过程的正确性标准。
是数学的一个分支，又称符号逻辑等。

离散数学之数理逻辑01相关推荐

【离散数学】数理逻辑第一章命题逻辑(5) 对偶式、对偶原理
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
【离散数学】数理逻辑第一章命题逻辑(7) 命题逻辑的推理理论
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
【离散数学】数理逻辑第一章命题逻辑(3) 逻辑等价与蕴含
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
离散数学与组合数学-01集合论
文章目录 1.离散数学与组合数学-01集合论 1.1 集合定义 1.1.1 什么是集合 1.1.2 集合案例 1.1.3 集合的符号表示 1.2 集合表示 1.2.1属于关系 1.2.2 枚举法 1. ...
离散数学与组合数学-数理逻辑-01命题与联结词
文章目录 1. 命题与联结词 1.1 命题 1.2 常用联结词 1.3 命题公式等价关系式-逻辑等价 logically equivalent 逻辑蕴涵 logically implication ...
离散数学与组合数学-01
文章目录 1. 离散数学与组合数学大纲要求概述 1.1 离散数学概述 1.2 组合数学概述 1.3. 离散数学前言第1章数理逻辑 1.1 命题与联结词 1. 命题 2.联结词 2.集合论 3.代 ...
离散数学复习数理逻辑部分
文章目录前言数理逻辑 1.命题逻辑的基本概念 2.命题逻辑等值演算 a.基本等值式 b.复合联结词 3.命题逻辑的推理理论 a.推理定律 b.推理规则 c.推理方法 4.一阶逻辑的基本概念及等值演 ...
【离散数学】数理逻辑第一章命题逻辑(4) 联结词的完备集
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
【离散数学】数理逻辑第二章谓词逻辑(1) 谓词、量词（全称和存在量词、全总个体域和特性谓词）
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
离散数学_数理逻辑篇（总结）
数理逻辑命题逻辑 1.1 命题及其表示表达判断并具有确定真值的陈述句为命题不能分解为更简单命题的命题为原子命题. 由联结词.标点符号与原子命题为复合命题. 我们用大写字母A-Z,或[num]表示 ...

离散数学之数理逻辑01

离散数学之数理逻辑01相关推荐

最新文章

热门文章