MATH 4LT3/6LT3 Final Exam Information
- The final exam will be held from 9:00am to 11:30am ET on Thursday, 11 December in Hamilton Hall Room 104.
- Make
sure that you have your McMaster student card with you at the start of
the exam.
- No aids are allowed during the exam.
- In
your solutions, you may not use any theorems or results that
have not been covered in the lectures. So, you may not use
any
theorems that are usually presented in more advanced courses on this
topic.
- To
prepare for the exam, 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
questions from the end of each of the chapters of the text that have
been covered in the course.
- 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
final exam will cover all of the material discussed during the
lectures, including the following topics (with the corresponding
textbook sections in parentheses):
- Alphabets,strings and languages (Agreements)
- Automata (sections 1.1, 1.2, 1.3, 1.4, 1.6)
- Computability Theory (2.1, 2.2, 2.3, 2.4, 2.5, 2.6, 2.7.1, 2.8, 2.9)
- Complexity Theory (3.1, 3.2, 3.3.1, 3.4, 3.5)
- SAT, 3SAT, The Cook-Levin Theorem and its proof, and applications (from Chapter 7 of the 3rd edition of Sipser's book)
- You will not be responsible for material from
the above sections that was not
covered in class.
- The final exam will consist of a number of True/False questions along with some full-answer questions.
- Leading
up to the exam, Dr. Valeriote will hold office hours from 11:00am to
noon on Tuesday December 9 and from 2:00pm to 3:00pm on
Wednesday, December 10.
He will also be available by appointment, either in person or via
zoom and by email.
- Note that the final exam is worth 45% of your final grade in this course.