|Math 114L: Mathematical Logic
Time and Place: MWF 9-9:50am, Mathematical Sciences
Building 5217 (notice the room change!)
E-mail address: matthiasmath.ucla.edu
Office: Mathematical Sciences Building 5614
Office Phone: (310) 206-8576
Office Hours: M 10-11:50pm, W 3-3:50pm, or by appointment. (I
will not hold 'virtual' office hours.)
Discussion Section: Th
9-9:50am, Mathematical Sciences Building 5127 (!)
Teaching Assistant: Anush Tserunyan
files from this website requires software to display PDF files, such as
Reader or Ghostview.
Click here to download the course handout.
The main objective of this course is to introduce you to mathematical
logic through the study of two of its aspects:
1. Pure logic: Sentential logic and first-order logic, culminating in
the proof of Gödel's Completeness
Theorem (not to be confused with Gödel's Incompleteness
2. Basic model theory: Applications of the Completeness Theorem,
including the Löwenheim-Skolem Theorems, the Compactness Theorem;
and a discussion of elementary equivalence.
The ability to formulate mathematical proofs. For this reason, you
should have had some exposure to proof-writing before taking this
knowledge of linear
would also be useful, but is not strictly necessary. Please feel free
to contact me if you'd like to take this course, but are unsure whether
you have the right preparation.
There will be a problem set assigned every week. The
range in difficulty from routine to more challenging. Completed
solutions are to be handed in at the beginning of class on
the due date specified on the respective homework set. No late homework will be accepted. However,
your lowest homework score will be dropped when computing your grade.
You are encouraged to work together on the exercises, but any graded
assignment should represent your own work.
Put the following information in the upper right hand corner of the
Math 114L, Homework # number.
On each additional page, put your name in the upper right-hand
corner. Work single-sided, that is, write on only one side of each
sheet of paper. STAPLE any homework that is more than one page long.
Remove all perforation before submitting. Write legibly. Homework that fails to meet the above
requirements will be marked "Unacceptable'' and returned unread.
Homework 1, due Friday, April 11.
Homework 2, due Friday,
Homework 3, due Friday,
Homework 4, due Friday, May
Homework 5, due Friday, May
Homework 6, due Friday, May
Homework 7, due Friday, May
Homework 8, due Friday,
June 6. Solutions
There will be two
Midterm examinations, on Monday,
April 21 and Monday, May 19,
in class. There will be a final exam on Tuesday, June 10, 11:30am-2:30pm,
in MS 5217.
A review session for the
Final Exam will be held on Monday, June 9, 12-2pm in MS 5203. (Notice the room
Students with conflicts with the
Midterm Exam in this course are responsible for discussing makeup
examinations with me no later than two weeks prior to the exam.
No books, calculators, scratch paper or notes will be allowed during
Grading policy: Homework: 20%. Midterm Exams: 20% each. Final Exam: 40%.
All scores and final grades will be available on the MyUCLA gradebook.
Back to my home
modified June 6, 2008.