HomeΒΆ

CIS 301: Logical Foundations of Programming, Spring 2018


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.

Lectures Tuesday (T) & Thursday (U), 11:05am - 12:20pm, DUE1073
Instructor John Hatcliff, Office: 2183 Engineering Hall, Office Hours: 12:20-1pm Tuesday and Thursday,
Teaching Assistant Joshua Donnoe, Office Hours: DUR1061, 9:30 - 10:45 AM, Tuesday/Thurday
Teaching Assistant George (Bud) LaVezzi, Office Hours: 1117 Engineering Hall, 8:30-930 AM Monday/Wednesday/Friday
E-mail help-301@santoslab.org (for quick questions and appointments)