**Spring 2017**

**Professor**

Dana Randall

Office hours: Tuesday 3:00-4:00 and Thursday 3:00-4:00 in Klaus 2140 (or by request)

Email: randall@cc.gatech.edu

**Teaching Assistants**

Sarah Cannon

sarah.cannon@gatech.edu

Matthew Fahrbach

matthew.fahrbach@gatech.edu

Office hours:Monday 11-12 (usually Matthew)

Tuesday 11-12 (usually Matthew)

Wednesday 2-4 (usually Sarah)

All TA office hours will be held in the common area outside Klaus 2140 (my office).

**Lectures**

Tues, Thurs 1:35-2:55, Van Leer C341.

**Textbook**

Discrete Mathematics and its Applications, by Kenneth Rosen.

**Midterm Exams**

2 exams: Thursday, February 23 and Thursday, April 6.

**Grading **

There will be no makeup exams, for any reason.

Homeworks can be found under assignments on t-square. They are due at the beginning of class. Late homeworks will not be accepted.

Homework: 25%

Midterms: 40%

Final: 35%

**Description**

Primitives:Fundamentals of numbers, Sets, Representation, Arithmetic operations, Sums and products, Number theory

Proof techniques:Direct proofs, Contradiction, Reduction, Generalization, Invariances, Induction;

Algorithmic basics:Order of growth, Induction and Recursion;

Discrete Mathematics:Graph theory, Counting, Probability (in relation to computability).

**Topics**

Direct proofs

Mods

Sets

Maps (1-1 and onto)

Proof by contradiction and cases

Negation, disproving and proving theorems, contrapositive

Induction and strong induction

big-O notation (growth of functions)

Recursions

Euclidean Algorithm and the Chinese Remainder Theorem

RSA and secret sharing

Stable marriages

Diagonalization

Puzzles and creative thinking