Phone: (848) 445-7296

FAX: (732) 445-0537

Email: allender@cs.rutgers.edu

Office: Hill 442

Click here for current
Office Hours.
Other times by appointment.

Teaching Assistant for Section 5: Sepehr Janghorbani Email: sj620 AT scarletmail.rutgers.edu

Office: Hill 202

Office Hours: Tuesdays, noon-1:00

Teaching Assistant for Section 6: Abhishek Bhrushundi Email: abhishek.bhr@rutgers.edu

Office: Hill 257

Office Hours: Fridays, noon-1:00.

Teaching Assistant for Section 7: Shahrzad Ziaee Email: shahrzad.ziaee AT rutgers.edu

Office: CBIM building

Office Hours: Wednesdays, 7:00-8:00 PM (Note: this is a change.)

Click here to find out about homework. There will be frequent in-class quizzes. The best preparation for the quizzes will be to do the homework.

Click here to find out about what was covered in class, and what material you should read next.

Please be aware of our Departmental Academic Integrity Policy.

- Basics and motivation; set notation; relations; functions

(Sections 2.1 - 2.3) - Propositional Logic

(Sections 1.1 - 1.3) - Tautologies, Normal Forms, Hardware Implementations

(Sections 12.1 - 12.3) - First-Order Logic; quantifiers, predicates, truth and validity

(Sections 1.4 - 1.6) -
Methods of Proof, Induction, Recursive Definitions

(Sections 1.7 - 1.8, 5.1 - 5.3) -
**MIDTERM: (Monday, February 20)** -
Induction; Relations; Graphs

(Sections 9.1 - 9.6) - Countability; Regular Expressions; Finite Automata; Computability

(Sections 2.5, 13.1 - 13.5) - Preliminaries for Algorithm Analysis, Cryptography

(Sections 3.2, 4.3 - 4.6) **Final Exam: Wednesday, May 10, noon-3:00 (PM)**