CS 245: Logic and Computation — Fall 2018

David R. Cheriton School of Computer Science

Assignments

Links to assignments will appear below as they become available. The given dates, times and topics are subject to change; we will announce any changes in advance and update the table.

The work you submit must be your own. You may discuss the assignment questions verbally with others, but you should come away from these discussions with no written or electronic records. Write your solutions in your own words, from your own head.

Submission instructions

The work you submit must be your own. You may discuss the assignment questions verbally with others, but you should come away from these discussions with no written or electronic records. Write your solutions in your own words, from your own head.

Assignment links and information

Assignment Due Date Link Principal Topic
Assignment 10 Mon, Dec. 3 PDF Undecidability
Assignment 9 Wed., Nov. 28 PDF Program Verification: Arrays.
Assignment 8 Wed., Nov. 21 PDF Program Verification: Conditionals, While-Loops.
Assignment 7 Wed., Nov. 14 PDF Peano Arithmetic. Basic program verification.
Assignment 6 Wed., Oct 31 PDF Natural Deduction in Predicate logic and Equality.
Assignment 5 Wed., Oct 24 PDF Translations into Predicate logic. Syntax and Semantics of Predicate logic. Formal substitution.
Assignment 4 Fri., Oct 12 PDF Natural Deduction for Propositional Logic. Soudness and Completeness of Natural Deduction for Propositional Logic.
Assignment 3 Wed., Oct. 3 PDF Adequate sets. Using Resolution.
Assignment 2 Wed., Sept. 26 PDF Structural induction. Semantics. Dead Code
Assignment 1 Wed., Sept. 19 PDF English and logic. Structural induction.

Study Exercises

We recommend these for your own study and learning. Use them as you see fit.
Date posted
Exercises 10
(Version A)
Nov. 28
Exercises 9 Nov. 21
Exercises 8 Nov. 14
Exercises 7 Nov. 7
Exercises 6 Oct. 24
Exercises 5 Oct. 17
Exercises 4 Oct. 3
Exercises 3 Sep. 26
Exercises 2 Sept. 18
Exercises 1 Sept. 11