主讲老师：王欣

活动地点：北校区经世楼203室

活动时间：2023年04月20日 13:30 

活动内容：在机器人学、软件测试、人工智能规划、计算机辅助设计、机器视觉、集成电路设计、计算机网络以及遗传学等不同领域中，许多问题都可以用命题的可满足性来建立模型。这里涉及到命题公式的分类，本次课程主要介绍命题公式的3种类别及判别依据。