学习 / 课程笔记 / 数理逻辑导论

数理逻辑导论

已完成 · 全 · 6 篇笔记

• Prerequisite Knowledge - 预备知识
• Propositional Logic - 命题逻辑
• FOL - 一阶逻辑
• Program Verification - 程序验证
• Overview - 概览
• Exam Review - 考试复习