MATH 4L03 Midterm Test Information

• The test will be held from 1:30pm to 2:20pm EDT on Thursday, October 24 (during the scheduled 4L03 lecture time slot) in the usual 4L03 lecture room.
  
• No aids will be allowed during the test.  In particular you may not use any lecture notes, textbooks, cellphones, tablets or other devices.
• To prepare for the test, you should look over the relevant sections of the textbook, review your lecture notes, and go over the assignment questions and solutions.  In addition, you should try to do a good number of exercises from the chapters of the text that have been covered so far.
• You should know the definitions of the concepts introduced in the course, along with the statements and proofs of the theorems, lemmas, and corollaries covered.
• The rules and axioms of the formal proof system S for propositional logic will be provided, so you don't need to memorize them for the test.
  
• The test will cover material from the course up to and including the material found in Section 3.3 of the course textbook.  So it will cover all of the material on Propositional logic that has been discussed in class.
  
• Specifically, it will cover material from the following sections:  2.1, 2.2, 2.3, 2.4, 2.6, 3.1, 3.2, and 3.3. You will not be tested on any material from Chapter 4 in this midterm test.
• Note that this test is worth 25% of your final grade in this course.  If you are unable to write the test on October 24th you will need to contact the Associate Dean's office to arrange for an accommodation (see here for details).  You should also contact Dr. Valeriote as soon as possible.