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.
  

Course Outline

Lecture schedule

Assignments

Instructor:

Bradd Hart
Office: Hamilton Hall 420
Office hours:  M 12:30, F 11:30 or by appointment
Tel. extension: 23411
E-mail: hartb@mcmaster.ca

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