Professor:
Dr. Janet Vassilev
Office: SMLC 324
Office
Hours: TWR 11 am 12 pm and by appointment.
Telephone: (505)
2772214
email: jvassil@math.unm.edu
webpage: http://www.math.unm.edu/~jvassil
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.12.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 biconditional 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.11.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

