主讲老师：王欣

活动地点：经世楼203室

活动时间：2023年04月17日 10:10 

活动内容：证明常常用于验证计算机程序对所有可能的输入值产生正确的输出值，用于揭示算法总是产生正确结果，用于建立一个系统的安全性，以及用于创造人工智能系统。并且，已经有自动推理系统被创造出来，即让计算机自己来构造证明。本章将解释一个正确的数学论证是如何组成的，并介绍构造这样的论证的工具。本次课程介绍一些逻辑规则，以此给出数学语句的准确含义。这些规则可以用来区分数学论证的有效或无效。