Week 1: Monday, September 1

• Topics:
• Introduction to the course
• Review of logic
• Reading
• 1.1 - 1.4

Monday:

• Labor Day - no classes or office hours

Tuesday:

• Introduction to the course
• A brief introduction to logic

Thursday:

• A short review of propositional logic - propositional expressions and truth tables.
• Propositional expressions and truth tables.
• Connection with digital circuits

Friday:

• Equivalences in propositional logic
• An introduction to predicate logic.

Other Notes:

• Office hours resume next week (but feel free to drop by)

Week 2:  Monday, September 8

• Topics:
• Predicate Logic
• Proofs
• Reading
• 1.3 - 1.7

Monday:

• Bit operations
• Predicate logic:  Predicates and quantifiers
• Applications to database systems (part I)
• Quantifier rules

Tuesday:

• Nested quantifiers
• Negation of quantifiers
• Application to formal system specification

Thursday:

• Rules of inference with quantifiers

Friday:

• No class - instructor ill.

Other Notes:

• Office Hours resume this week.
• The last day to drop without record is next Monday

Week 3:  Monday, September 15

• Topics:
• Predicate Logic
• Proofs
• Reading
• Chapter 2.1 - 2.3

Monday:

• On the varieties of proofs
• Sets and set operations
• No office hours today (Departmental obligations)

Tuesday:

• More set theory
• No office hours today (Departmental obligations)

Thursday:

• Set operations
• Functions

Friday:

• Classification of functions
• Countable and uncountable sets

Other Notes:

• First hour exam is next Friday
• The last day to drop without record is this Monday

Week 4:  Monday, September 22

• Topics:
• Analysis of algorithms
• Reading
• Chapter 2.4 - 3.1

Monday:

• Composition of functions:  Inverses (2.3)

Tuesday:

• Sequences and summations (2.4)

Thursday:

• Algorithms (3.1)
• Review for first hour exam

Friday:

• Hour Exam #1

Other Notes:

• Hour exam #1 is this Friday

Week 5:  Monday, September 29

• Topics:
• Analysis of algorithms
• Reading
• Chapter 3.1 - 3.2

Monday:

• Examples of algorithms (3.1)
• Growth of functions (3.2)

Tuesday:

• Sorting algorithms
• Definition of big-O and the growth of functions

Thursday:

• Exam #1 returned and discussed

Friday:

• Review of definition of big-O and the growth of functions

Other Notes:

• We will possibly skip section 3.7.  Students interested in cryptography should probably read it, though.
• Next exam will be Friday, October 24.

Week 6:  Monday, October 6

• Topics:
• Analysis of algorithms
• Reading
• Chapter 3.3 - 3.5

Monday:

• Some properties of big-O(3.2)
• Big Theta and Big Omega (3.2)
• Complexity of algorithms (3.3)

Tuesday:

• Classes P, NP, and NP-complete

Thursday:

• A little number theory (3.4 - 3.5)
• Notes on the returned homework assignment

Friday:

• Cyphers and modular arithmetic
• Greatest Common Divisor

Other Notes:

• We will possibly skip section 3.7.  Students interested in cryptography should probably read it, though.
• Next Monday, October 13, is the last day to withdraw with an automatic "W".  Please review the University's add/drop policy in the Academic Handbook (the Logger)
• Next exam will be Friday, October 24..

Week 7:  Monday, October 13

• Topics:
• Binary numbers, arithmetic, and the representation of integers and floating point numbers.
• Reading
• Chapter 3 (mostly)

Monday:

• Binary, octal, and hexadecimal numbers

Tuesday:

• Binary arithmetic

Thursday:

• Integers and data representation (3.6)

Friday:

• Floating point representation
• Matrices (3.8)

Other Notes:

• This Monday, October 13, is the last day to withdraw with an automatic "W".  Please review the University's add/drop policy in the Academic Handbook (the Logger)
• Next exam will be next Friday, October 24.

Week 8:  Monday, October 20

• Topics:
• Matrices
• Reading
• Chapter 4

Monday:

• Fall Break:  No classes or office hours

Tuesday:

• Fall Break:  No classes or office hours

Thursday:

• Matrices (3.8)
• Review for exam #2

Friday:

• Hour Exam #2

Other Notes:

• Next exam will be this Friday, October 24.

Week 9:  Monday, October 27

• Topics:
• Induction and recursion
• Reading
• Chapter 4

Monday:

• Conclude discussion on matrices:  Matrix multiplication and Boolean product
• Mathematical Induction (4.1)

Tuesday:

• Induction (4.1)
• Exam #2 returned and discussed.

Thursday:

• Recursive definitions and strong induction (4.3)
• Recursive algorithms (4.4 - we will skip section 4.5)

Friday:

• No class - household emergency (broken furnace)

Other Notes:

• Next exam will be Friday, November 14.

Week 10:  Monday, November 3

• Topics:
• Counting / Combinatorics
• Reading
• Chapter 4.4 - 5.2

Monday:

• Final comments on recursion (4.4 - we will skip section 4.5)
• Basics of counting (5.1)

Tuesday:

• Final comments on recursion (4.4 - we will skip section 4.5)
• Basics of counting (5.1)

Thursday:

• Basics of counting (5.1)

Friday:

• The pigeonhole principle (5.2)

Other Notes:

• We will skip chapter 7
• Next exam will be next Friday, November 14.

Week 11:  Monday, November 10

• Topics:
• Counting / combinatorics
• Introduction to probability
• Reading
• Sections 5.3 - 5.4.  (skipping 5.5 and 5.6)

Monday:

• Permutations and combinations (5.3)

Tuesday:

• Permutations and combinations (5.3) continued

Thursday:

• Binomial Coefficients (5.4)
• Review for hour exam #3

Friday:

• Hour Exam #3

Other Notes:

• We will skip chapter 7
• Next exam will be this Friday, November 14.

Week 12:  Monday, November 17

• Topics:
• Introduction to probability
• Reading
• 5.4,
• 6.1 - 6.4

Monday:

• Binomial Coefficients (5.4)

Tuesday:

• An introduction to discrete probability (6.1)
• Probability theory (6.2)

Thursday:

• Probability theory (6.2)
• Expected value (6.4)

Friday:

• Probability theory (6.2)

Other Notes:

• We will skip chapters 7 and 8.
• Next exam will be Friday, December 5.  Please note that this is in the last week of classes.
• Next week is Thanksgiving! (we meet Monday and Tuesday only)

Week 13:  Monday, November 24

• Topics:
• Bayes' Theorem
• Reading
• 6.3

Monday:

• Bayes' theorem and an application to expert systems (6.3)

Tuesday:

• No class (Memorial service for Doug Edwards)

Thursday:

• Thanksgiving break (no classes or office hours)

Friday:

• Thanksgiving break (no classes or office hours)

Other Notes:

• We will skip chapter 7 and all but the first two sections of chapter 8
• Next exam will be next Friday, December 5.  Please note that this is in the last week of classes.
• Tuesday, December 9, is the last class meeting for this class.  No work can be accepted after 5:00 Wednesday, December 10.

Week 14:  Monday, December 1

• Topics:
• Graph Theory
• Reading
• 9.1 - 9.6

Monday:

• Problems
• Final discussion on probability:  Fuzzy logic and expert systems
• Introduction to graph theory (9.1)

Tuesday:

• Graph terminology and special kinds of graphs (9.2)
• Representing graphs (incidence and adjacency matrices  (9.3)

Thursday:

• Varieties of graphs
• Review for hour exam #4

Friday:

• Hour Exam #4

Other Notes:

• Next exam will be this Friday, December 5.  Please note that this is in the last week of classes.
• Tuesday, December 9, is the last class meeting for this class.  No work can be accepted after 5:00 Wednesday, December 10.
• The final exam for this class will be on Wednesday, December 17, from 12:00 noon to 2:00 PM.  It will be an in-class comprehensive final exam having the weight of two hour exams.