CS 2800。逻辑与计算。(4小时)

介绍形式逻辑及其与计算机和信息科学的联系。提供学习将关于计算机程序行为的陈述转换为逻辑声明的机会，并获得通过手工和使用自动化工具证明此类断言的能力。考虑证明程序终止、正确性和安全性的方法。讨论在逻辑、命题和一阶逻辑、逻辑推理、数学归纳法和结构归纳法中使用的符号。介绍在计算机和信息科学中出现的工件和现象的建模范围的逻辑的使用。

先决条件:（CS 1800最低成绩为D-或数学1365最低成绩为D-或MATH 2310最低成绩为D-);CS 2500最低成绩为D-