| lecture-hours | 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 | ||||
| Sep:01(Tue) | Lecture-Module #01: Introduction to This Course | |||
| Sep:01(Tue) | Exercise-Set #1 | Sep:10(Thu) | ||
| Sep:01(Tue)– Sep:10(Thu) |
Lecture-Module #02: Basics of Symbolic Logic | |||
| — | Sep:08(Tue) | Labor Day Recess | ||
| Sep:10(Thu)– Sep:17(Thu) |
Lecture-Module #03: Predicates and Quantifiers | |||
| Exercise-Set #2 | Sep:18(Fri) | |||
| Sep:17(Thu) | Exercise-Set #3 | Sep:24(Thu) | ||
| Sep:22(Tue) | Lecture-Module #04: Basics of Symbolic Proofs | |||
| Sep:22(Tue)- Sep:29(Tue) |
Lecture-Module #05: Using ProofBuilder | |||
| Sep:24(Thu) | Exercise-Set #4 | Oct:01(Thu) | ||
| Oct:01(Thu) | Exercise-Set #5 | Oct:08(Thu) | ||
| Oct:01(Thu)- Oct:06(Tue) |
Lecture-Module #06: Schemes/Methods for Proofs | |||
| Oct:08(Thu)- ... -Oct:27(Tue) |
Lecture-Module #07: Sets | |||
| Oct:13(Tue) | Review for Midterm Examination | |||
| Oct:15(Thu) | Midterm Examination | |||
| Oct:20(Tue) | Exercise-Set #6 | Oct:27(Tue) | ||
| Oct:27(Tue)- Nov:03(Tue) |
Lecture-Module #08:
Some Basics ...
(Appendices and some of Sections 3.4-3.5 of our textbook by Rosen) |
|||
| Oct:29(Thu) | Exercise-Set #7 | Nov:05(Thu) | ||
| Nov:05(Thu)- |
Lecture-Module #09:
Some Functions on Integers
(Section 3.6 of our textbook by Rosen) |
|||
| Nov:05(Thu) | Exercise-Set #8 | Nov:12(Thu) | ||
| Nov:10(Tue)- |
Lecture-Module #10:
More Regarding Integers: Divisors
(Sections 3.4-3.5 of our textbook by Rosen) |
|||
| Nov:12(Thu)- Nov:17(Tue) |
Lecture-Module #11:
Applications of Divisors
(Sections 3.4-3.7 of our textbook by Rosen) |
|||
| Exercise-Set #9 | Nov:24(Tue) | |||
| Nov:19(Thu) |
Lecture-Module #12:
Induction
(Section 4.1 of our textbook by Rosen) |
|||
|
lectures etc. filled in here
as this term proceeds |
||||
| — | Nov:26(Thu) | Thanksgiving Recess | ||
| Dec:10(Thu) | Review for Final Examination | |||
| Dec:14(Mon) | Final Examination |
10:00–11:50 a.m.
room: EC 410
comprehensive | ||