Linear Algebra

11-03

Propositional Logic and Resolution (Part 2)

11-01

Reading Note: An ASP Methodology for Understanding Narratives about Stereotypical Activities

10-30

Predicate Logic

10-17

Computing with Logic Quiz 9

10-01

Introduction to Logic, Logic Programming Concepts and Languages (Part 1)

09-10