形式化方法 - 华保健 - 第01节上
形式化方法录屏0607
形式化方法录屏0602
什么是形式化验证?
普通逻辑学
【Stanford AA228V】形式化方法-安全关键系统验证:面向自主系统的故障发现与安全保证
形式化验证
形式化方法 - 华保健 - 第12节 - Review
【软件基础·逻辑基础】05 形式化方法
字幕【语言学及应用语言学】清华大学 语言哲学和语言逻辑 主讲-蔡曙山【全75讲】
形式化方法录屏0531
【RWTH】模型检测导论 | 形式化方法
【首发字幕】逻辑学导论中山大学熊明辉教授
【语言学及应用语言学】清华大学 语言哲学和语言逻辑 主讲-蔡曙山【全75讲】
USTC 华保健 形式化方法 第1次上课
数理逻辑
面向计算机科学的数理逻辑-陆钟万
【CMU公开课·全23讲】混杂系统的逻辑、控制与形式化验证|精校中文字幕
【爱课程公开课】北大-离散数学第三部分-数理逻辑-王捍贫
西北大学:逻辑学导论