软件理论基础：逻辑.pdfVIP

软件理论基础：逻辑篇 为什么要学习逻辑？ 数理逻辑是一门以数学方法为基础，用符号系统的形式来研究思维 结构及规律的学科. ◆数理逻辑在计算机软件硬件设计中的应用 ➢开关电路布尔代数 ➢搜索引擎索引 ➢关系数据库谓词逻辑 ➢…… ◎2022 ECNU SEI 软件理论基础 2 为什么要学习逻辑？ 数理逻辑是规范语言、定理证明器、模型检测器的基础 ◎2022 ECNU SEI 软件理论基础 3 题外话—学得东西都是有用的 1. Google 2002年推出了自己的``新闻“服务。和传统媒体的做法不同，这些新闻不是记者 写的，也不是人工编辑的，而是由计算机整理、分类和聚合各个新闻网站的内容，一切 都是自动生成的。这里面关键的技术就是新闻的自动分类背后的数学（余弦定理） 2. Google的网页排名技术。其``PageRank 网页排名算法是革命性的发明--公认的文献检 索中最大的贡献之一，有人甚至认为整个公司的成功都是基于这个算法。创始人：拉里 .佩奇、谢尔盖.布林. 佩奇也是因为这个算法在30岁时当选为美国工程院院士,是继乔布 斯, 盖茨之后有一位当院士的辍学生. 其背后的数学线性代数. 中国的大部分软件工程师在一个未知领域都是从直观感觉出发,用``凑的方法来解决问 题,说的不好听,就是山寨. Google招揽理论基础优异的工程师.吴军《数学之美》 ◎2022 ECNU SEI 软件理论基础 4 时态逻辑系统 时态逻辑系统 ◎2022 ECNU SEI 软件理论基础 6 时态逻辑系统 ◎2022 ECNU SEI 软件理论基础 7 时态逻辑系统分类 ◎2022 ECNU SEI 软件理论基础 8 线性时态逻辑-LTL ◎2022 ECNU SEI 软件理论基础 9 线性时态逻辑-LTL公式 ◎2022 ECNU SEI 软件理论基础 10 线性时态逻辑-LTL语法 ◎2022 ECNU SEI 软件理论基础 11 线性时态逻辑-LTL语义 ◎2022 ECNU SEI 软件理论基础 12 线性时态逻辑-LTL ：例子 ◎2022 ECNU SEI 软件理论基础 13 线性时态逻辑-LTL语义 ◎2022 ECNU SEI 软件理论基础 14 线性时态逻辑-LTL语义 ◎2022 ECNU SEI 软件理论