Professor:Office:Phone:Office hours:Login:Web page: |
Bob Givan EE 313C 4-9068 follow this link givan@purdue.eduhttp://engineering.purdue.edu/~givan/ |

Teaching Assistant:Office:Office hours:Email: |
Alain Chen EE 208 Mondays 15:30-16:30 Tuesdays 10:00-11:00 Wednesdays 13:30-14:30 chen2967@purdue.edu |

Logic rules provided in the applicable exams

Class content discussions can be found on Piazza

Course Syllabus

Wednesday, 2018/08/22 Sets, Intro to recursive definition

Friday, 2018/08/24 Recursive definition, Intro to Boolean Logic

Monday, 2018/08/27 Syntax and Semantics of Boolean Logic

Wednesday, 2018/08/29 Entailment

Friday, 2018/08/31 Entailment, Introduction to Proofs

Wednesday, 2018/09/05 Deduction Method, Formalizing English Arguments

Friday, 2018/09/07 Relational databases, Predicate logic syntax

Monday, 2018/09/10 Predicate Logic semantics

Wednesday, 2018/09/12 Predicate Logic Proof

Friday, 2018/09/14 Introduction to (not formal) proof

Monday, 2018/09/17 Proof techniques

Wednesday, 2018/09/19 First principle of mathematical induction

Homework 1 (Due on blackboard: August 27, 1:30pm) Solution 1

Homework 2 (Due on blackboard: September 7, 1:30pm) Solution 2

Homework 3 (Due on blackboard: September 17, 1:30pm) Solution 3

Homework 4 (Due on blackboard: Sep 24, 1:30pm) Solution 4

Sample first midterm (Solutions to non-homework problems)

Sample second midterm (Solutions)

Sample final (Solutions)

Maintained by Bob Givan and course staff

*givan@purdue.edu*