Introduction to Discrete Structures I

198:205

Phone: (732) 445-2001 ext. 3629
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 1: Yixin Xu

Phone: (732) 445-2001 Ext.9748

Office: Hill 408
Office Hours: Monday afternoons, 3:15-5:15

Teaching Assistant for Section 2: Sergio de Biasi

Phone: (732) 445-2001 Ext 9691

Office: Hill 416
Office Hours: Tuesday afternoons, 3:15-5:15

Text: Kenneth H. Rosen, Discrete Mathematics and its Applications, 6th edition.
Click here to find out about homework.

ROUGH COURSE OUTLINE

Basics and motivation; set notation; relations; functions
(Sections 2.1 - 2.3)
Propositional Logic
(Sections 1.1 - 1.2)
Tautologies, Normal Forms, Hardware Implementations
(Sections 11.1 - 11.3)
First-Order Logic; quantifiers, predicates, truth and validity
(Sections 1.3 - 1.5)
Methods of Proof
(Sections 1.5 - 1.7)
MIDTERM: February 28
Induction; Recursive definitions; Relations; Graphs
(Sections 4.1 - 4.4, 8.1 - 8.6)
Countability; Regular Expressions; Finite Automata; Computability
(Sections 2.4, 12.1 - 12.5)
Preliminaries for Algorithm Analysis, Cryptography
(Sections 3.2, 3.5 - 3.7)
Final Exam: May 10, noon-3:00