MATH
327
Discrete Structures
Fall 2011
Professor:
Dr. Janet Vassilev
Office: SMLC 324
Office
Hours: TWR 11 am -12 pm and by appointment.
Telephone: (505)
277-2214
email: jvassil@math.unm.edu
webpage: http://www.math.unm.edu/~jvassil
Texts
:
How To Prove It: A Structured Approach, 2nd Edition, by Daniel Velleman.
A First Course in Discrete Mathematics, by Ian Anderson.
Course
Meetings: The course lectures will be held in SMLC 356 on Tuesday s
and Thursdays at 8-9:15 am.
Topics: Fundamentals
of mathematical proof in the context of discrete structures, logic, sets and
relations, functions, integers, induction and recursion, counting, permutations
and combinations and algorithms.
Homework
(200 points): Homework will be assigned weekly on Thursdays and will
be collected the following Thursday at the beginning of class. Homework
will not be graded unless it is written in order and labeled
appropriately. The definitions and theorems in the text and
given in class are your tools for the homework proofs. If the theorem has a
name, use it. Otherwise, I would prefer that you fully describe the theorem in
words that you plan to use, than state by
Theorem
3. Each week around 4 of the assigned
problems will be graded. The weekly assignments will each be worth 20 points. I
will drop your lowest two homework scores and the remaining homework will be
averaged to get a score out of 200.
Exams (400
points): I will give two midterms (100 points) and a final (200
points). There are no make up exams. If a test is missed,
notify me as soon as possible on the day of the exam.
For the midterms only, if you have a legitimate and documented
excuse, your grade will be recalculated without that test. The midterms
are tentatively scheduled for Thursday, October 6 and Thursday, November
17. The Final is on Thursday, December 15, from 7:30 -9:30 am.
Grades: General guidelines
for letter grades (subject to change; but they won't get any more strict):
90-100% - A; 80-89% - B; 70-79% - C; 60-69% - D; below 60% - F. In
assigning Final Grades for the course, I will compare your grade on all course
work (including the Final) and your grade on the Final Exam. You will
receive the better of the two grades.
Tentative
Schedule (for Dr. Vassilev’s Discrete Structures):
Date
|
Section
|
Topic
|
Homework
|
8/23
|
(V) 1.1
|
Introduction to
Logic and Deductive Reasoning
|
|
8/25
|
(V) 1.2
|
Truth Tables
|
P13 (1.1) 1, 2,
4, 6, 7c
P24 (1.2) 2, 3,
4, 8, 12
|
8/30
|
(V) 1.3
|
Variables and
Sets
|
|
9/1
|
(V) 1.4
|
Operations on
Sets
|
P33 (1.3) 2, 4,
5, 8
P41 (1.4) 2, 5,
6, 9, 10, 11, 13c, 15
|
9/6
|
(V) 1.5
|
Conditional and
Biconditional Connectives
|
|
9/8
|
(V) 2.1-2.2
|
Quantifiers and
Equivalences involving quantifiers
|
P53 (1.5) 2, 5,
7, 10
P63 (2.1) 3, 5, 6
P 72 (2.2) 2,
3, 7, 10
|
9/13
|
(V) 2.3, 3.1
|
More on Sets,
Proof Strategies
|
|
9/15
|
(V) 3.1
|
Proof
Strategies continued
|
P81 (2.3) 3, 5,
6, 9, 10
P93 (3.1) 2, 3,
6, 12, 13, 16
|
9/20
|
(V) 3.2
|
Proofs
involving negations and conditional statements
|
|
9/22
|
(V) 3.3, 3.4
|
Proofs
involving quantifiers and conjunctions
|
P106 (3.2) 2,
3, 4, 7, 9, 12
P121 (3.3) 2, 6,
10, 15, 18a, 19, 26
|
9/27
|
(V) 3.4, 3.5
|
Proofs
involving bi-conditional statements and disjunctions
|
|
9/29
|
(V) 3.6
|
Existence and
Uniqueness Proofs
|
P133 (3.4) 10,
11, 22, 25, 26
P 143 (3.5) 3, 9, 12, 13, 21, 27
P153 (3.6) 2,
3, 7
|
10/4
|
|
Review
|
|
10/6
|
|
Midterm 1
|
|
10/11
|
(V) 3.7, 4.1,
4.2
|
More proofs,
Cartesian Products and Relations
|
|
10/18
|
(V) 4.3
|
More on
Relations
|
|
10/20
|
(V) 4.4
|
Ordering
Relations
|
P170 (4.1) 3,
5, 11a
P178 (4.2) 2, 5, 8, 9
P186 (4.3) 2,
4(c,d), 11, 12, 14, 18
|
10/25
|
(V) 4.5, 4.6
|
Closures and
Equivalence Relations
|
|
10/27
|
(V) 4.6, 5.1
|
Eauivalence
relations and Functions
|
P 199 (4.4) 3,
6, 9, 13, 15, 20
P 210 (4.5) 2(c,d), 11a, 16
P 222 (4.6) 2,
4, 10b, 12, 13
|
11/1
|
(V) 5.1, 5.2,
5.3
|
Functions
properties of one to one and onto,
Inverses
|
|
11/3
|
(V) 5.4, 6.1
|
Images and Inverse Images, Induction
|
P233 (5.1) 2,
4, 8, 14, 17
P243 (5.2) 6, 8, 11, 18
P252 (5.3) 6,
12
|
11/8
|
(V) 6.2, 6.4
|
More Induction
|
|
11/10
|
(V) 7.1
|
Countability
|
P265 (6.1) 5, 6, 11, 12, 16
P295 (6.4) 4,
5, 16, 17
|
11/15
|
|
Review
|
|
11/17
|
|
Midterm 2
|
|
11/22
|
(V) 7.2 |
Countability
|
|
11/29
|
(A) 1.1-1.4, 1.5 |
Counting
|
|
12/1
|
(A) 6.1 |
Principle of Inclusion and Exclusion
|
|
12/6
|
(A) 2.1, 2.1 and (V) 6.3 |
Recursion |
|
12/8
|
Review
|
|
|
12/15
|
|
Final Exam 7:30
am
|
|