Spring 2010

MATH 341 / LGIC 220, MWF 10-11, DRL 3C6

Discrete Mathematics II

Professor Andre Scedrov

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: M W 1:15 - 2:15 or by appointment


Further References


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 Due in Class on Wednesday, February 17

This is the complete set of problems for homework due in class on Wednesday, February 17.

Take-Home Midterm Due in Class in Hardcopy on Wednesday, April 7

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

Take-Home Final Exam Due in Hardcopy in DRL 4E6 on Monday, May 10 at 11 a.m.

This is a complete list of assignments due May 10, 2010.