CSE 505: Computing with Logic

Materials from lectures 

This is in reverse chronological order:

• Jan 27: Organization & Introduction

• Jan 29: Propositional Logic: Syntax and Models