英国逻辑与建模COMP21111Logic and Modelling课程介绍

逻辑与建模

COMP21111

Logic and Modelling

学习目标

课程内容：

本课程解释了如何利用逻辑的实现来解决许多问题，如快速解决最难的数独谜题、分析双人游戏或查找计算机系统中的严重错误。

课程目标：

本课程旨在让学生了解（数理）逻辑的基本原理以及逻辑在现代计算机科学中的一些应用，包括硬件验证、有限域约束满足和并发系统验证。

教学大纲：

- 命题逻辑

- 连接正则表达式（CNF）

- DPLL 可满足性算法

- 随机可满足性算法

- 使用 BDT/BDDs/OBDDs 的布尔函数紧凑表示法

- 量化布尔逻辑 (QBF) 的拆分和 DPLL 算法

- 有限域命题逻辑

- 状态变化系统

- 线性时态逻辑 (LTL)

- 模型检查

学习成果：

成功完成本课程后，学生将能够：

1、掌握命题逻辑的基本推理（或可满足性检查）算法。

2、掌握量化布尔公式的知识，基本了解约束变量和量词。

3、了解 BDDS（二元判定图）是一种紧凑表示命题公式的数据结构。

4、了解命题逻辑的应用（如有限域约束满足和规划），并能应用命题逻辑解决困难的组合问题。

5、掌握简单时态逻辑的知识。

6、将有限状态并发系统正式指定为过渡系统。

7、用时态逻辑指定简单转换系统的属性。

展开全部

英国逻辑与建模课程辅导

课程课件讲解

同步海外各大院校学习进度+原版课件，PPT课件知识点讲解，包含但不限于作业讲解、考试突击辅导、论文essay辅导等，提高GPA，解决课业难题。
作业知识点讲解

作业题目讲解,topic+outline讲解，作业题难点知识点、答题思路指导。
考前冲刺辅导

帮助学生考前快速冲刺，考前直击重点/作答技巧，重点难点梳理+讲解，预测exam考点，更有独家学习资料与干货分享。
挂科appeal

学术不端、论文低分重复度高申诉appeal、考试作弊挂科听证会申诉，全程申诉老师陪同指导，高质量申诉信写作，听证会材料搜集整理，抓住申诉机遇。

免费获得学习规划方案

已有 1129 位留学生获得学习规划方案

英国

*已对您的信息加密，保障信息安全