离散数学[4]-数理逻辑-谓词逻辑及形式系统

## 一、个体、谓词和量词
### 命题的解析
〉 命题逻辑中最小研究单位是原子命题, 并没有进一步的内部结构
〉 定义:命题是对确定的对象作出判断 的陈述句
〉 那么,对不确定的对象如何?(x>5)
〉 以及,进行不同条件下的判断如何?
继续阅读“离散数学[4]-数理逻辑-谓词逻辑及形式系统”

离散数学[2]-数理逻辑基本概念

一、什么是数理逻辑

  • 逻辑学是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德创立。
  •  亚里士多德在逻辑学上最重要的工作是提出 三段论学说。
  •  只要符合三段论的推理就是正确的。
  •  一个三段论就是一个包括有大前提、小前提和结论三个部分的论证。

继续阅读“离散数学[2]-数理逻辑基本概念”

离散数学[1]-引子(形式化及其极限)

一、离散数学DiscreteMathematics

〉 关于“离散结构”的数学
〉 离散Discrete含义:分离的,不连续的 seperate, discontinuous
〉 研究分立的对象之间所形成的关系
〉 离散结构源于人们对时间相继性的感知
和原子性世界的经验
继续阅读“离散数学[1]-引子(形式化及其极限)”

机器学习[7]–深度学习

一 、强化学习

* 强化学习就是程序或智能体(agent)通过与环境不断地进行交互学习一 个从环境到动作的映射,学习的目标就是使累计回报最大化。
* 强化学习是一种试错学习,因其在各种状态(环境)下需要尽量尝试所 有可以选择的动作,通过环境给出的反馈(即奖励)来判断动作的优劣, 最终获得环境和最优动作的映射关系(即策略)。
继续阅读“机器学习[7]–深度学习”

机器学习[6]-监督学习–回归

三、回归分析
回归:统计学分析数据的方法,目的在于了解两个或多个变数间是否相关、 研究其相关方向与强度,并建立数学模型以便观察特定变数来预测研究者感兴 趣的变数。回归分析可以帮助人们了解在自变量变化时因变量的变化量。一般 来说,通过回归分析我们可以由给出的自变量估计因变量的条件期望。
继续阅读“机器学习[6]-监督学习–回归”