CSE 259: Logic in Computer Science
Class: SCOB 228, M/W, 12:15--1:30PM
Office Hours: BYENG 594, M/W, 11:00--12:00PM
Mehrdad (TA): BYENG 221, Th&F, 3-4PM; Recitations: M&Tu&W
Akshay(TA): BYENG 221, Tu 3-5PM; Recitations: Th&F
| Course home | Syllabus | Schedule | Student Projects |
Subject to change. Check back frequently for updates.
Last updated: Oct 28, 2019
| Date | Topics | Lecture Notes |
Reading/Project Assignments | Deadlines | Important Dates |
| Mon. 08/26 | Introduction to Logic | ||||
| Wed. 08/28 | Introduction to Propositional Logic | ||||
| Wed. 09/04 | Natural deduction for Propositioal Logic (I) | ||||
| Mon. 09/09 | Natural deduction for Propositioal Logic (II) | ||||
| Wed. 09/11 | Natural deduction for Propositioal Logic (III) | ||||
| Mon. 09/16 | Derived rules for Natural deduction | ||||
| Wed. 09/18 | Summary of Natural Deduction | ||||
| Mon. 09/23 | Logic Programming (LP) and Semantics of Propositional Logic (I) | ||||
| Wed. 09/25 | Semantics of Propositional Logic (II) | ||||
| Mon. 09/30 | Homework 2 Discussion | ||||
| Wed. 10/2 | Logic Programming (LP) (II) and Semantics of Propositional Logic (III) | ||||
| Mon. 10/7 | Exercises for Semantics of Propositional Logic | ||||
| Wed. 10/9 | Logic Programming (LP) (III) | ||||
| Wed. 10/16 | Logic Programming (LP) (IV) | ||||
| Mon. 10/21 | Logic Programming Excercises (LP) (V) | ||||
| Wed. 10/23 | Logic Programming Excercises (LP) (VI) | ||||
| Mon. 10/28 | Semantics of Propositional Logic (IV) | ||||
| Wed. 10/30 | Practice Mid-term Exam | ||||
| Mon. 11/4 | Discussion of Midterm and Practice Exam | ||||
| Wed. 11/6 | Midterm | ||||
| Mon. 11/11 | Veterans day, class excused | ||||
| Wed. 11/13 | Discussion of Midterm Exam | ||||
| Mon. 11/18 | Predicate Logic | ||||
| Wed. 11/20 | Predicate Logic Excercises | ||||
| Mon. 11/25 | Predicate Logic (II) | ||||
| Wed. 11/27 | Predicate Logic (III) | ||||
| Mon. 12/02 | Predicate Logic Excercises | ||||
| Wed. 12/04 | Class Summary; Good luck with your finals! |