CIS 264 — Discrete Structures
This course will cover logic in computer science as a tool to establish truth through various techniques of proof. The goal of this course is for us to learn formal logic as a theoretical foundation and its application to topics in discrete mathematics and computer science. C-ID COMP 152.