Spring 2007

MATH 341 / LGIC 220, MWF 11-12, DRL 3C4

Discrete Mathematics II

Professor Andre Scedrov

We will have two make-up classes: on Fridays, April 13 and 20 at 12 noon


Office: Room 4E6 in David Rittenhouse Laboratory
Telephone: eight five nine eight three ( Math. Dept. Office: eight eight one seven eight )
Fax: three four zero six three
E-mail: lastname at math
Office Hours: By appointment


Textbooks


Further References


Topics

Algebra of sets, power set, cartesian product, binary relations, closure properties, equivalence relations, functions, Cantor Theorem, countable sets, equinumeruous sets, uncountability of the set of reals. [Grimaldi Chapters 3, 5, and 7, and Appendix 3 and Moschovakis Chapters 1 and 2].

Overview of Probability Theory: Probability Distribution, Random Variable, Conditional Probability, Bayes Theorem, Expected Value. [Grimaldi Chapter 3 and Buchmann Chapter 4].

Basic Concepts of Cryptology: Substitution Ciphers, Permutation Ciphers, Vigenere Cipher, Rotor Machines, Attack Models. Symmetric Ciphers, Block Ciphers, One-Time Pad, Information-Theoretic Properties of One-Time Pad, Perfect Secrecy, Misuses of One-Time Pad, Malleability. Stream Ciphers, Linear Feedback Shift Register, Golomb's Randomness Postulates, Linear Complexity, Non-linear Filters, Knapsack Keystream Generator. [Buchmann Chapters 3 and 4].

Introduction to Number Theory: Congruences, Chinese Remainder Theorem, Fermat's Little Theorem, Euler's Theorem, Modular Exponentiation by Repeated Squaring. [Grimaldi Chapters 14 and 17 and Buchmann Chapters 1 and 2].

Public-Key Cryptosystems: Diffie-Hellman Key Exchange, Person-in-the Middle Attack. Discrete Logarithm, Giant-Step Baby-Step Algorithm, Pohlig-Hellman Algorithm, ElGamal Public-Key Cryptosystem. RSA Public-Key Cryptosystem. Digital Signatures, Selective Forgery, Existential Forgery, Signature Schemes Based on RSA, Signature Schemes Based on Discrete Logarithm: ElGamal Signature Scheme.


Homework #1 Due in Class on Friday, February 2

This is the complete set of problems for Homework #1 due in class on Friday, February 2.

Homework #2 Due in Class on Friday, March 2

This is the complete set of problems for Homework #2 due in class on Friday, March 2.

Take-Home Midterm Due in Class on Wednesday, April 4

This is the complete set of problems for take-home midterm due in class on Wednesday, April 4.

Take-Home Final Exam Due at 4 pm in DRL 4E6 on Thursday, May 3

This is the complete set of problems for take-home final due at 4 pm in DRL 4E6 on Thursday, May 3.