This course teaches the basic elements found in a formal logic including syntax for claims and rules for making deductions, as well as on how to judge if the rules are suitable in the sense that they only lead to claims that match the reality of the domain that are being reasoned. The focus will be on formal logics for reasoning about program behavior and for programming directly in terms of logic.
| Lectures | T U 11:05am - 12:20pm, Durland Hall, DU 1073 |
| Instructor | John Hatcliff Hatcliff,
Office: Engineering Hall 2160
Office Hours: 12:20-12:45pm Tue/Thu, 2:30-3:30pm Wed
E-mail: hatcliff ++ k-state.edu (replace ++ with @) |
| Teaching Assistant | Hariharan Thiagarajan
Office:
Office Hours: (tba)
E-mail: thari at k-state.edu |
| Teaching Assistant | Zhi Zhang,
Office: (tba),
Office Hours: 8-10am Wed (or by appointment),
E-mail: zhangzhi at k-state.edu |
| Help E-mail (for appointments and questions) | help-301 at santoslab.org |