Email: minsky@cs.rutgers.edu

Office: CoRE 321

Office Hours: Thursdays, 3:00-4:30; or by appointment, via my email.

Teaching Assistant for Section 6: Zhe (Joe) Wang email: zhewang@cs.rutgers.edu

Office: CoRE 344

Office Hours: Friday 11-12

Teaching Assistant for Section 4: Mrinal Kumar email: mrinalkumar08@gmail.com

Office: Hill 418

Office Hours: Fridays 2-4 PM

Homework will be given usually each Tuesday, and published on our sakai cite

Please be aware of our Departmental Academic Integrity Policy.

- Propositional and Predicate Logics

(Sections 1.1 - 1.6) - Basics and motivation; set notation; relations; functions

(Sections 2.1 - 2.3) -
Basic Methods of Proof

(Sections 1.7 - 1.8) -
Basic Structures: sets, functions and cardinality of sets

(Sections 2.1 - 2.5) -
**MIDTERM: (sometime in October)** -
Induction and Recursion

(Sections 5.1 - 5.4) -
Relations

(Sections 9.1 - 9.6) - Modeling Computation

(Chap. 13) - Preliminaries for Algorithm Analysis, Cryptography

(Sections 3.2, 4.3 - 4.6) **Final Exam: December**