决策程序

决策过程是程序验证的基础：程序验证的任务是提供程序符合其规范的正式证明。这相当于确定逻辑公式的真值。决策过程是一种算法，它可以针对特定类型的公式来判断公式是真是假。我们将研究不同逻辑的决策程序。从命题逻辑开始，我们将研究具有整数、实数、递归结构（列表和树）、数组等的逻辑的决策过程。

课程类型	讲座
讲师	安德烈亚斯·波德尔斯基,Jochen Hoenicke公司,坦贾·辛德勒
讲座	星期二，14:00–16:00，106栋00-007室星期四，14:00–15:00，106号楼00-007室
锻炼	星期四，15:00–16:00，106栋00-007室
第一次会议	2019年10月22日星期二
教学语言	英语
信用	6
考试	总资产负债表。
课程目录	决策程序-讲座决策程序-练习

新闻

1月29日：如果PiVC服务器在使用“编译”按钮时没有响应，您可以使用我们的服务器。
菜单->设置->更改服务器地址，并输入“pivc.jochen-hoenicke.de:4242”作为服务器地址。
如果该服务器也没有响应，请联系约琴。
2003年12月：增加第7页的奖金练习。
11月26日：理论章节更新（增加了∀x●0=0的证明）
9月30日：主页在线。

为了考试，必须达到练习中最高分数的一半。每周有一张练习单，通常有三次练习，最多12分。你通常可以在星期二的讲座之前提交你的论文，可以单独提交，也可以两人一组提交。

考试将根据参与者的人数，分为口试或笔试。

请像往常一样通过考试办公室注册。