CSE 259: Logic in Computer Science
Class: BYAC 259, M/W/F, 2:00--2:50PM
Office Hours: BYENG 558, F, 10:00--12:00PM
Office Hours (TA: Arpit Sharma): Centerpoint, M/W, 3:00-4:00PM
| Course home | Syllabus | Schedule | Student Projects |
Subject to change. Check back frequently for updates.
Last updated: April 28, 2017
| Date | Topics | Lecture Notes |
Reading/Project Assignments | Deadlines | Important Dates |
| Mon. 01/09 | Course introduction. | Homework template: https://www.overleaf.com/read/qpmcsqbnrzfb Syllabus: CSE259 | |||
| Wed. 01/11 | Introduction to Logic. | ||||
| Fri. 01/13 | Introduction to Propositioal Logic. | ||||
| Wed. 01/18 | Natural deduction for Propositioal Logic (I) | ||||
| Fri. 01/20 | Natural deduction for Propositioal Logic (II) | ||||
| Mon. 01/23 | Natural deduction for Propositioal Logic (III) | ||||
| Web. 01/25 | Natural deduction for Propositioal Logic (IV) | Lecture Slides (III & IV combined) | |||
| Fri. 01/27 | Natural deduction for Propositioal Logic (V) | Lecture Slides | |||
| Mon. 01/30 | Natural deduction for Propositioal Logic (VI) | Lecture Slides | |||
| Wed. 02/01 | Natural deduction exercises | Lecture Slides | |||
| Fri. 02/03 | Semantics of Propositional Logic | Lecture Slides | Quiz 1 study guide: Quiz 1 Study Guide | ||
| Mon. 02/06 | In class Quiz - Quiz 1 (Propositional Logic) | ||||
| Wed. 02/08 | Semantics of Propositional Logic I | Lecture Slides | |||
| Fri. 02/10 | Semantics of Propositional Logic II | ||||
| Mon. 02/13 | Semantics of Propositional Logic III | Lecture Slides (II & III combined) | |||
| Wed. 02/15 | Exercises for Semantics of Propositional Logic I | ||||
| Fri. 02/17 | Exercises for Semantics of Propositional Logic II | Lecture Slides (I & II combined) | |||
| Mon. 02/20 | Mathematical Induction | Lecture Slides | |||
| Wed. 02/22 | Mathematical Induction II | ||||
| Mon. 02/24 | Mathematical Induction III | Lecture Slides (II & III combined) | |||
| Wed. 02/25 |
Discuss of Quiz 2 |
||||
| Fri. 02/27 | Mid-term | ||||
| Mar 4 - Mar 12 | Hope you enjoyed your Spring Break! | ||||
| Mon. 03/13 | Project announcement & Introduction to Predicate Logic | Lecture Slides | |||
| Wed. 03/15 | Introduction to Predicate Logic & Prolog | Lecture Slides | |||
| Fri. 03/17 | Prolog: Facts and Rules | Lecture Slides | |||
| Mon. 03/20 | Prolog: Recursion and List | Lecture Slides | |||
| Wed. 03/22 | Prolog: Example | Lecture Slides | |||
| Fri. 03/24 | Prolog: Hanoi and more | Lecture Slides | |||
| Mon. 03/27 | Prolog: Queen Puzzle | Lecture Slides | |||
| Wed. 03/29 | Prolog: IO | Lecture Slides | |||
| Fri. 03/31 | Prolog: let us cut! | Lecture Slides | |||
| Mon. 04/03 | Quiz 3 | Group quiz | |||
| Wed. 04/05 | Minimax for games. | Lecture Slides | |||
| Fri. 04/07 | Minimax for games. | Lecture Slides | |||
| Mon. 04/10 | Predicate Logic. | Lecture Slides | |||
| Wed. 04/12 | Predicate Logic - Proof Theory. | Lecture Slides | |||
| Fri. 04/14 | Predicate Logic - Proof Theory. | Lecture Slides | |||
| Mon. 04/17 | Predicate Logic - Proof Theory. | Lecture Slides | |||
| Wed. 04/19 | Predicate Logic - Proof Theory. | Lecture Slides | |||
| Fri. 04/21 | Quiz 4 (chess competition) & Predicate Logic - exercises. | Lecture Slides | |||
| Mon. 04/24 | Class Presentation | ||||
| Wed. 04/26 | Class Presentation | ||||
| Fri. 04/28 | Class Review & Summary (last class before the final) | Final Guide | Many thanks to everyone for your hard work and hope you learned! Good luck with your finals! |