MATH 220-902, spring 2009

Course information

Course news

Review session
We will have a review session on Tue, May 12th, at 5:40pm in Blocker 627. In the review session I will go over the solutions to the second exam and answer questions on the material we covered in the course.
10 May 2009
Homework chapter 5
5.1
1, 2, 3, 4b
5.2
1, 2, 3, 7, 8, 14, 25
5.3
1a, 2, 5, 9, 10a, 11, 12, 14
5.4
3, 7a, 8cd, 11abe, 13, 15, 18
3 May 2009
Homework chapter 4
4.1
2acefh, 3a, 5-7, 15, 17-20, 23-25, 28-30, 34
4.2
1, 2, 4, 5, 7, 16
The second test will cover chapters 3 and 4 and will be on Tuesday 21st of April.
2 April 2009
Homework chapter 3
3.1
1-3, 4ab, 5, 7, 10, 16, 17, 18ag, 20, 22, 23, 24
3.2
1aejk, 2cd, 3, 4, 7, 8, 10, 12abfg, 13bd, 15-17, 20, 22, 25, 30
3.3
2, 3, 9cde, 10abcdkl, 12, 14, 17, 21, 22
The homework from section 3.1 is assigned during week 7. The homework from section 3.2 is assigned during week 8 (pre-spring break week).
27 Feb 2009
Homework week 6 and the first test
2.3
1a, 3, 5, 6, 8, 11, 12, 17, 18, 23, 26, d1
We will have our first test on Tuesday 3rd of March in the usual lecture room and time. The test will contain 6 problems similar to the quiz problems.
There will be no office hours on Friday, March 6th. On all other days the office hours will proceed as scheduled.
24 Feb 2009
Homework week 5
2.2
1-3, 6cd, 8-10, 14, 16-18, 22, 24, 26, 28, 29
19 Feb 2009
Special Class on Thur 19 Feb. Different place!
The Thursday class on Feb 19th will be held in the Evans Library Annex (the building connected to the Library by an overpass) in room 410 during the regular class time. There will be a short lecture on how to use library reference resources and then we will assign the projects.
The projects will be assigned using the following procedure: you will draw a number from the bag. Then, the numbers will be called out in sequence and you will get to pick the project for yourself. If a project has been picked by two people before you, you cannot take it. Thus if you are lucky enough to draw 1, you get your favorite project, but if you get 42, your choice will be much more limited.
13 Feb 2009
Homework week 4
If everything goes according to the plan (which would be a first) then the homework for this week will be:
predicate logic
prove 3 implications in the "Through disjunction" section of the list of important formulae and find a counter-example to the one which is not valid.
2.1
1bdi, 2abde, 4, 6, 7, 8e, 9, 10, 13, 19b, 20ce, d3
10 Feb 2009
Further information on predicate logic
I wrote 2 pages of notes on how the Natural Deduction System extends to cover the identities of the predicate logic. There are just 4 new rules, introduction and elimination for each of the the two quantifiers. Notes also contain 2 examples of proofs.
I also made a reference list of important formulae from the predicate logic.
10 Feb 2009
Projects information
Here is the whole page of projects information containing the list of problems, an example and a LaTeX source of the example.
6 Feb 2009
Homework week 3
1.2
5b-e (write in symbols; negate; write in words), 6, 11, d4
1.3
5, 7, 11, 16
1.4
8, 9
6 Feb 2009
Homework and notes week 2
Here are my notes for the 4th lecture. Here is an excellent website on Natural Deduction System with more worked examples. Have a look at Sections 4, 5 and especially 6.
1.3
7
From notes
Deduce in NDS 4, 10, 5a, 12
29 Jan 2009
Homework and notes week 1
Here are my notes for the 2nd lecture.
Homework: prove identities 4, 8 (from the notes); 1.3: 3, 9, 12-14 and 1.4: D1 (from the book).
All proofs must be done by contradiction!
22 Jan 2009
Welcome!
Welcome to Math 220, section 902
The homework assignments will be posted here.
22 Jan 2009
 

This file was last modified on Wednesday, 10-Jan-2024 15:58:22 CST.

Valid HTML 4.01!