Course overview.
This course is a continuation of Math 160A. The second quarter (Math 160B)
will discussion discuss applications of compactness and completeness,
develop both Peano arithmetic and the formal theory of computation, including
Turing machines, recursive functions, the undecidability the halting problem,
and Gödel's Incompleteness Theorem.
Instructor: Sam Buss (sbuss@ucsd.edu) TA: Nathan Wenger (nwenger@ucsd.edu)
The course is initially remote only, for at least the first two weeks.
Gradescope contains links to the class web page, or a direct URL is
https://ucsd.zoom.us/j/94866309172.
It is expected that real-time participation will be required. This will be
done in a way to accomodates everyone, whether attending class remotely or in-person.
Watch for annoucements on this evolving requirement for real-time participation.
Online textbook and other resources: Although the core of the course
is in-person lectures, there are a lot of online resources:
-
Lectures will be on zoom until UCSD resumes in-person classes.
Zoom lectures will be available on Canvas subsequent to the class.
See the Canvas class calendar, the class calendar below, or a piazza annoucement
for the Zoom URL.
-
A zoom option will still be available after UCSD resumes in-person classes (if
technically feasible).
- Real-time participation self-reports. You must self-report real-time participation
be filling out a google form for each participation event. You will need to login
to google with (preferably with your UCSD userid) to file the self-report.
-
Day-by-day syllabus. This page holds
overview of topics, slides, sections in the textbooks, podcasts, etc.
- Textbook in preparation:
Currently Chapters 2 through 5 are available on Google drive; more chapters will come.
The course content will follow the
new online textbook fairly closely, but the textbook by Richard Hodel is still
very relevant.
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 is planned to be set up.
Watch for a piazza announcement 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.
The course calendar will be on Canvas.
It is possible export this to
other calendars if that is more convenient for you.
- Podcasting. If and when in-person lectures resume,
they will be podcast and available at both
podcast.ucsd.edu and Canvas.
-
Handwritten lecture notes. Available on the
Day-by-day syllabus.
- Quizzes. Schedule to be
determined. Up to two per week. See the
web page for quizzes.
- Homeworks. Due most weeks on Wednesday.
See the
web page for homework assignments.
- Midterms and finals will be in-person if UCSD
has returned to in-person instruction. A remote option will be available by
prearrangement.
- LaTeX/TIKZ code samples
for drawing Turing machine state
diagrams.
Office hours. See the Canvas course calendar for information on office hours.
Regular schedule to be set during week 2 of the course.
Exam dates and archival copies of exams:
Midterm #1:
Tuesday, February 8, 12:00-1:20.
Midterm #2:
Tuesday, March 1, 12:00-1:20.
Final Exam:
Thursday, March 17, 11:30-2:30.
Midterms and final are to be held in-person in SOLIS 109. If you need to take the exam remotely instead, please contact me.
Grading is subject to change without notice,
but will be approximately 5% each for quizzes, homework assignments and real-time
participation; 25% for
each midterm, and 35% for the final exam.
Class schedule (Exported from Canvas)