Location: Gi 225 TTH 11:00- 12:40 PM
Instructor: Robert Schneider
Contact Info:
Grading Policy:
- Homework tests (20 minutes) 20%
- Midterm - 30 %
- Final: 40%
- Homework- 10%- no late hw
- extra credit will be given for various projects and exceptional class comments
Course Outcomes:
1. Perform numeric and symbolic computations (as part of departmental math objective A)
2 State and apply mathematical definitions and theorems (E)
3. Count by using combinatorial arguments (A,B,C)
4. Analyze and prove identities and inequalities for discrete functions
5. Apply discrete mathematics to real-life problems (C)
Math Major Outcomes incorporated :A. Perform numeric and symbolic computations
B. Construct and apply symbolic and graphical representations of functions
C. Model real-life problems mathematically
E. State and apply mathematical definitions and theorems
G. Construct and present a rigorous mathematical argument
Materials and Resources :
- textbook(recommended but will give websites to cover material): Discrete Mathematics and its Applications 7th edition by Kenneth H. Rosen
- free web course https://learn.saylor.org/course/view.php?id=67
- Composite of free courses on web-- sometimes several links to same place- I wont cover all material
- look at topics in wikepedia
- will give other links per topic
- will hand out problem sets to go over
- last semester course
Topics-- to be modified:
- Logic and Truth Tables
- truth tables and proving logical statements
- 1.1.1 in free web course-- MIT Devadas & Lehman
- UCSD Dender & Williamsons's - Arithmetic and Logic-- gets a little complex with for all and exist
- logic chapter of Rosen- only small part
- HW: Due Tue Sep 1 : Use truth tables to shw
- show p | ~p is always true
- show p|q is equivalent to q|p
- ~(p&q) eauivalent to ~p | ~q
- p&(q|r) is equivalent to (p&q) | (p&r)
- p->q is equivalent to ~p|q
- Sets and Set Operations:Ch2 Rosen -- apply truth tables
- Wikepedia Article about sets https://en.wikipedia.org/wiki/Naive_set_theory#Specifying_sets
- Online book lesson on sets and next topic of functions
- problem set number 1
- HW due Sep 13
- problems 1,2, 9,10,11,12,13,14 in the above problem set
- Note that A with a line above it means the complement of A ( my tilda sign -- I dont know how to make this in html). It is the set of all {x:x is not an element of A}
- Note that A-B is another notation for A\B
- restate the logic hw due Sep 1 in terms of intersection, unions, complement, "universal set" and set equality and prove the results by truth tables
- HW: due Sep 15 finish problem set 1
- pdf of Python code for sets
- pdf of some Maple code for sets
- Functions Sequences and Summation:Ch 2
- second problem set
- Widipedia Article about functions
- Rosen-section 2.3,2.4
- Online book 4.1,4.2 -- much more than we will cover but good for those wanting enrichment
- more than you might want to know about floor and ceiling
- simple pdf online about sequences and sums
- another simple pdf about sequences and sums
- Extra Credit
- read about countable and uncountable sets and make a report to me; Note discrete math is "supposed to be" about countable things
- HW -- try to do all of problem set 2. I havent covered everything but look at readings. I will collect it by Tuesday October 18. I will go over the material on Thursday October 13 but you should prepare your questions by working on readings over the long break. Note that we have class on Friday October 19 when I will continue to cover material and talk about countability. Understanding countability and uncountability well will be extra credit above. Please email me questions
- HW quiz Sep29
- Induction and Recursion: Ch 5
- Counting Techniques: Ch 6
- Binomial Theorem
- Problem Set 4
- First 6 Problems of problem set 5
- Function Growth: Ch 3
- Introduction to Graphs: Ch 10
- Applications of Graphs
- pdf outline of maple class presentation
- Some resources on web to read
- little synopsis of graph theory
- short outline of how to use graph theory in Maple
- 10.1,10.2,10.3 of text
- google it
- Problem Set 6
Department of Mathematics and Computer Science, Lehman College, City University of New York