Math
4L3, Fall 2016

General Announcements

Lecture schedule

Assignments

Instructor:

__Course meeting time:__ MW 8:30, F 10:30 in HH 217

General Announcements

- First class, 8:30, Wednesday, Sept. 7 - see you then!
- Here is a link
regarding the use of MSAFs; apply for MSAF through Mosaic. Here is a link to help you find it.

- The midterm is Friday, Oct. 28 in class. The test will cover: Chapter 2, Chapter 3 except 3.4, and sections 4.1 and 4.2.
- Suggested practice problems:

- 2.10, 2.11, 2.18, 2.28, 2.30, 2.31, 2.39, 2.55, 2.59, 2.64, 2.74-79, 2.87;

- 3.1, 3.2, 3.8, 3.15, 3.17, 3.18, 3.24, 3.2;

- 4.2, 4.3, 4.4, 4.7, 4.8, 4.13, 4.17, 4.18, 4.21
- Here is the test and here are the solutions.
- Here are some more practice problems for Chapter 4:
- 4.16, 4.18, 4.28, 4.29, 4.35, 4.40, 4.48, 4.53, 4.58, 4.66, 4.98, 4.105, 4.108
- The final exam is on Dec. 17 from 7:30 - 10 pm in HH 217.
- There will be office hours from 10:30 - 12:30, Dec. 15 and 16.
- Practice problems from chapters 5 and 6: #5.2, 5.9, 5.11b,c ,
5.13, 5.19, 5.20, 5.22a, 5.25, 5.28, 6.2, read the section on fields
beginning on page 268 and do 6.8, 6.9, 6.10; 6.12, 6.18. Consider
exercise 6.32 and compare it to one of the homework assignment
questions for propositional logic.

- For clarity, we did not cover the upward Lowenheim-Skolem theorem nor completeness for uncountable languages which are discussed in section 6.5 of Goldrei. We did cover Theorem 6.11 that said that a satisfiable theory in a countable language has a countable model. Do exercise 6.25.
- We did not cover section 6.6.

Lecture schedule

Assignments

Instructor:

Office: Hamilton Hall 420

Office hours: M 12:30, F 11:30 or by appointment

Tel. extension: 23411

E-mail: hartb@mcmaster.ca