Mathematics 225(M):
Discrete Structures: Computer Science 1
Winter 2009

with McGuire

    lecture-sessions documents    due dates or other notes
Plan — this document   (;-)
* Plan of last time I taught this course
Administration:
* Syllabus
* General Course-Policies
* Some Evaluations and Responses
Further Categories of Course-Materials:
* Lectures, Notes
* Exercises
* Tests
* Information about the grading
 
Perspectives on Discrete Mathematics
Used in Computing for Industry, Government, etc.:
* The Advanced Encryption Standard (AES)
In 2005, according to one of my neighbors
who works on financial transactions between
a company and banks throughout the U.S.,
AES is becoming the standard for encrypting data
being transmitted and/or stored.
Further information:
* AES Algorithm (Rijndael) Information
* Advanced Encryption Standard
    - Wikipedia, the free encyclopedia
 
EOS Lab Tutorial
 
1.0-
1.2 		Jan:05(Mon) Lecture-Module #01: Introduction to This Course
1. Jan:05(Mon) Exercise-Set #1 5. Jan:14(Wed)
1.2-
4.$ 		Jan:05(Mon)-
 Jan:12(Mon) 		Lecture-Module #02: Basics of Symbolic Logic
5.0-
7.$ 		Jan:14(Wed)-
 Jan:19(Mon) 		Lecture-Module #03: Predicates and Quantifiers
6. Jan:16(Fri) Exercise-Set #2 9. Jan:23(Fri)
8. Jan:21(Wed) Lecture-Module #04: Basics of Symbolic Proofs
9. Jan:23(Fri) Exercise-Set #3 12. Jan:30(Fri)
9.0-
11.$ 		Jan:23(Fri)-
 Jan:28(Wed) 		Lecture-Module #05: Using ProofBuilder
12.0-
12.6 		Jan:30(Fri) Lecture-Module #06: Formal Names for Deductions
(Section 1.5 of our textbook by Rosen)
12.6-
14.$ 		Jan:30(Fri)-
 Feb:04(Wed) 		Lecture-Module #07: Schemes/Methods for Proofs
(Sections 1.6-1.7 of our textbook by Rosen)
15. Feb:06(Fri) Exercise-Set #4 17. Feb:11(Wed)
15.0-
21.$ 		Feb:06(Fri)-
 Feb:20(Fri) 		Lecture-Module #08: Sets
(Sections 2.1-2.2 of our textbook by Rosen)
18. Feb:13(Fri) Exercise-Set #5 21. Feb:20(Fri)
22.0-
... 		Feb:23(Mon)-
... 		Lecture-Module #09:
Some Basic Math — Algebra, Functions, etc. — Used in Computing & Information Systems
(Sections 3.4 etc. of our textbook by Rosen)
Review for Midterm Exam.
Midterm Examination
Exercise-Set #6 Mar:18(Wed)
Lecture-Module #10: Some Functions on Integers
(Sections 3.6 etc. of our textbook by Rosen)
Lecture-Module #11: More Regarding Integers: Divisors
(Sections 3.4-3.5 of our textbook by Rosen)
Exercise-Set #7 Mar:30(Mon)
Mar:30(Mon) Lecture-Module #12: Applications of Divisors
(Sections 3.7 etc. of our textbook by Rosen)
Apr:06(Mon)-
 Apr:08(Wed) 		Lecture-Module #13: Induction
(Section 4.1 of our textbook by Rosen)
Apr:08(Wed) Exercise-Set #8 Apr:15(Wed)
Apr:10(Fri)-
 Apr:15(Wed) 		Lecture-Module #14: Counting
(Chapter 5 of our textbook by Rosen)
41. Apr:17(Fri) Review for Final Exam.
42. Apr:21(Tue) Final Examination 2:00–3:50 p.m.   room: MAK A-1-165
comprehensive