Course overview.
This course is an introduction to mathematical logic, focusing
first on propositional logic and then on first-order logic. We
will also informally study computability. The main goal of the
course is to develop the foundations of logic up through
Gödel's Completeness Theorem. The second quarter (Math 160B)
will develop both Peano arithmetic and the formal theory of computation, including
Turing machines, the undecidability the halting problem,
and Gödel's Incompleteness Theorem.
Instructor: Sam Buss (sbuss@ucsd.edu) TA: Ryan Mike (rmike@ucsd.edu)
Online textbook and other resources: Although the core of the course
is in-person lectures, there are a lot of online resources:
-
Day-by-day syllabus. This page holds
overview of topics, slides, sections in the textbooks, podcasts, etc.
- Textbook in preparation:
Currently Chapters 2 and 3 and a substantial portion of chapter 4 are available on Google drive; more chapters will come.
The online textbook supplements the textbook by Richard Hodel, but the course content will follow the
new online textbook fairly closely.
You are able add comments to the online textbook. You are strongly encouraged
to ask questions, correct typos, and add other comments to the online text. They will
be publicly available to the whole class.
The full URL is https://drive.google.com/file/d/19fUeHlqbnPjMVecGDOKMASQ_tFbzQa9k/view?usp=sharing.
- Piazza will be used for discussions and course announcements.
You should monitor the Piazza
annoucements for important course information.
- A discord server has also been set up. See piazza for the Discord invitation URL.
- Gradescope will be be used for all grading. The answer key will
show correct answers for (nearly) all questions. See piazza for the access code if needed.
- Course calendar. Scroll down to see the course calendar.
- Prerecorded lectures available for offline
viewing. These videos will cover the highlights of topics in propositional logic, roughly
the first half of the course. (More videos still to be posted.)
- Podcasting. Regular course lectures will be podcast. podcast.ucsd.edu. Mostly set up now, but I hope to experiment with a microphone. The first lecture has audio only. (Suggestion: watch prerecorded lectures, the first two and part of the third, for the same material as the first lecture.)
-
Handwritten lecture notes. Available on the
Day-by-day syllabus.
- Quizzes. One or two per week. Download to take asynchronously. See the
web page for quizzes.
- Homeworks. Due most weeks on Wednesday. See the
web page for homework assignments.
- In-class Worksheets. Last part of every in-person lecture. Available combined into a single PDF file.
Office hours. See piazza or the course calendar for information on office hours.
Regular schedule to be set during week 1 of the course.
Textbook: There are two textbooks
- Richard Hodel, "Introduction to Mathematical Logic". Available as hardcopy only.
- New online textbook in preparation by your instructor. See above for accessing this.
The course will follow the material in the online textbook fairly closely, but the textbook
by Hodel is more comprehensive.
Quizzes: There will be in-class quizzes as well as online quizes. Online quizes
will be timed and handed in on Gradescope. There is a separate web page for quizzes.
Homework assignments: There will be weekly homework assignments. These are to
be handed in on gradescope. There is a separate web page for homework assignments.
Exams. There will be two midterms and one final; all held in-person. Please
discuss it with the instructor ahead of time if in-person is not feasible. Grading is subject to
change without notice, but will approximately 15% for quizzes and homework assignments; 25% for
each midterm, and 35% for the final exam. See the course calendar below for the
dates for the midterms.
Archival copies of exams:
Midterm #1 and
Midterm #2 and the
Final Exam.
Course prerequisites.
There is no particular mathematical knowledge that is a prerequisite beyond
a certain "mathematical maturity", most especially some experience with mathematical
proofs. Please talk with the professor and submit an EASY request if you do not
have the official prerequisites.
Class schedule as a google calendar: (COMING SOON)
HTML link.