Math 2300, Spring 2016   Class Schedule, Lecture Notes
Note: Schedule is subject to change, please check frequently

WK

Class/Date

Topic

Book Chapter
4th Edition

Assignments

Reading

1

F 1/29

Introduction and syllabus 2
HW1 Assigned
Syllabus, Chapter 2

2

M 2/1

Logic: Forms and Deductive Reasoning
2.1


W 2/3

Logic: Logical Form and Logical Equivalence 2.1


F 2/5

Logic: Conditional Statements
2.2
HW1 Due
HW2 Assigned

3

M 2/8

Logic: Valid and Invalid Arguments 2.3
HW3 Assigned

W 2/10

Logic: Digital Logic Circuits 2.4
HW2 Due, HW4 Assigned Chapter 3

F 2/12

Predicates and Quantified Statements I
3.1
HW3 Due, HW5 Assigned

4
M 2/15
Predicates and Quantified Statements II 3.2
HW6 Assigned
W 2/17
Statements with Multiple Quantifiers
Arguments with Quantified Statements
3.3
3.4
HW4 Due, HW5 Due
HW7 Assigned

F 2/19
Arguments with Quantified Statements
Direct Proof and Counterexample: Introduction
3.4
4.1
HW8 Assigned Chapter 4

5
M 2/22
Direct Proof and Counterexample:Rationals 4.1, 4.2
HW6 Due, HW9 Assigned
W 2/24
Direct Proof and Counterexample: Divisibility 4.3
HW7 Due, HW10 Assigned
F 2/26
Direct Proof and Counterexample: Division 4.4
HW8 Due, HW11 Assigned

6

M 2/29

Direct Proof and Counterexample: Floor and Ceiling 4.5
HW9 Due

W 3/2

Indirect Argument: Contradiction and Contraposition
4.6
HW10 Due, HW12 Assigned Chapter 5

F 3/4

Claude Shannon - Father of the Information Age
Watch video and answer:
1. What is the difference between a Shannon bit and a Tukey bit?
2. Who wrote "Beat the Dealer"?
Turn in your answers on Monday, March 7.
http://www.youtube.com/watch?v=z2Whj_nL-x8

7

M 3/7

Sequences
5.1
HW11 Due, HW13 Assigned

W 3/9

Sequences and Mathematical Induction
5.1, 5.2
HW12 Due

F 3/11

Review for Quiz



8

M 3/14

Mathematical Induction 5.2 HW13 Due, HW14 Assigned

W 3/16

Quiz 1



F 3/18

Mathematical Induction 5.3
HW14 Due, HW15 Assigned

9

M 3/21

Strong Mathematical Induction 5.4
HW16 Assigned

W 3/23

Defining Sequences Recursively 5.6
HW15 Due
Extra Credit
Attend CSULA talk on Bridge to the Doctorate
Thursday, March 24
11:30-1:30
South Dining
Write a paragraph on what was most interesting to you

F 3/25

Defining Sequences Recursively
5.6, 5.7
HW16 Due
Extra Credit on Talk Due
HW17 Assigned
Homework Extra Credit:
Towers of Hanoi program (must be recursive) to estimate time (in years) to move 64 disks (one move per second).
Assume 31,557,600 seconds per year.
Turn in print out with your program and an example of it running (e.g. show command line and results).
Due April 15th
Upload to the homework submission system


Spring Break, March 28 - April 1



10

M 4/4

Solving Recurrence Relations by Iteration 5.7
HW18 Assigned

W 4/6

Second-Order Linear Homogenous Recurrence Relations with Constant Coefficients 5.8
HW17 Due, HW19 Assigned

F 4/8

Solving Recurrences Handout
HW18 Due, HW20 Assigned
Quiz1 Part 2 Due

11

M 4/11

Solving Recurrences
HW19 Due, HW21 Assigned

W 4/13

Solving Recurrences

HW20 Due

F 4/15

Solving Recurrences

Towers of Hanoi EC Due
Master Theorem

12

M 4/18

Structural Induction
Correctness of Algorithms
5.9
5.5
HW21 Due, HW22 Assigned

W 4/20

Correctness of Algorithms
Sets
5.5
6.1


F 4/22

Sir Tony Hoare: Pioneers of Computer Science

Watch video and answer:
1. What proof system was used by Gonthier on the Four Color Theorem?
2. What is Hoare's conclusion?
https://www.youtube.com/watch?v=kz7DfbOuvOM

13

M 4/25

Sets
6.1
HW22 Due
Sir Tony Hoare video questions Due

W 4/27

Quiz 2


Quiz 2 Review

F 4/29

CS50 Lecture by Mark Zuckerberg

Watch video and answer:
1. Why is redundancy important?
2. Of all that he said, what most surprised you?
https://www.youtube.com/watch?v=xFFs9UgOAlE

14

M 5/2

Go Over Quiz

Zuckerberg Video questions due

W 5/4

Go Over Quiz, Sets 6.1


F 5/6

Sets
6.2
HW23 Assigned

15

M 5/9

Sets
6.3
HW24 Assigned,
HW25 Assigned

W 5/11

Relations
8.1
HW23 Due, HW26 Assigned

F 5/13

Relations
8.2
HW24 Due, HW25 Due,
HW27 Assigned

16
M 5/16
Relations
8.3
HW26 Due
W 5/18
Review for Final

HW27 Due Since Quiz 2 Review

Friday 5/20

FINAL EXAM
11:15 am - 1:15 pm