图 书 馆
动态逻辑Dynamical Logic |
|
| 课程网址: | http://videolectures.net/ssll09_schmitt_dlog/ |
| 主讲教师: | Schmitt Peter H |
| 开课单位: | 卡尔斯鲁厄大学 |
| 开课时间: | 2009-04-16 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | Dynamic Logic was developed in the late 1970s by David Harel building on previous work by V.R.Pratt. It is a modal logic and as any modal logic it allows to reason about the truth of statements in different states (or worlds). It extends classical modal logic however by taking explicitly into account the transitions from one state to the next state(s). Descriptions of actions (events, or programs) are part of the syntax of Dynamic Logic. This course will start with an introduction into the logical theory of propositional and first-order dynamic logic with respect to a very fine grained notion of actions. At the next level a Dynamic Logic for an abstract programing language will be considered. We will end by presenting a Dynamic Logic for a real programming language and show how this can be used in software verification including a demo of a working system. |
| 关 键 词: | 动态逻辑; 模态逻辑; 编程语言 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2020-06-04：毛岱琦(课程编辑志愿者) |
| 阅读次数: | 76 |