For UCSD students

Math 160A (Elementary Mathematical Logic I)

Links

• Playlist 1. Introduction to Mathematical Reasoning
• Lecture Notes. Full Text
• Slides 1. Proofs by Induction
• Slides 2. Sets
• Slides 3. Functions
• Homework 1. Lectures 1-3
  Template of a solution
• Slides 4. Structural Induction
• Slides 5. Structural Induction
• Slides 6. Structural Induction
• Solutions to Homework 1. Lectures 1-3
• Practice Midterm 1. Lectures 1-7
• Solutions to Practice Midterm 1. Lectures 1-7
• Homework 2. Lectures 1-3
  Template of a solution
• Slides 7. Relations
• Slides 8. Partial Orderings
• Slides 9. Partial Orderings
• Slides 10. Propositional Formulas
• Slides 11. Propositional Formulas
• Homework 3. Lectures 11-13
  Template of a solution
• Solutions to Homework 2. Lectures 1-3
• Practice Midterm 2. Lectures 1-16
• Solutions to Practice Midterm 2. Lectures 1-16
• Slides 12. Tautologies and Truth Tables
• Slides 13. Natural Deduction
• Slides 14. Natural Deduction
• Slides 15. Completeness
• Slides 16. Completeness
• Slides 17. Compactness
• Slides 19. Signatures, Structures, and Formulas
• Slides 20. Signatures, Structures, and Formulas
• Slides 21. Representable Predicates
• Slides 22. Semantic Implication
• Slides 23. Natural Deduction for Predicate Logic
• Homework 4. Lectures 16-18
  Template of a solution
• Solutions to Homework 3. Lectures 11-13
• Practice Final 1. Lectures 1-30
• Solutions to Homework 4. Lectures 16-18
• Solutions to Practice Final 1. Lectures 1-30

Information

Textbook:

The textbook for this course is: H. Enderton, A Mathematical Introduction to Logic

Grading policy:

Student's cumulative average will be computed by taking the maximum of these two grading schemes:

• 10% Homework, 25% Midterm I, 25% Midterm II, 40% Final Exam
• 10% Homework, 30% maximum of Midterm I and Midterm II, 60% Final Exam

Homework:

Homework is a very important part of the course and in order to fully master the topics it is essential that you work carefully on every assignment and try your best to complete every problem.
Your total homework score will be based on the total possible homework points available. After each homework you can complete an optional online HW review highlighting key concepts. If you complete the questionnaire for an assignment and that assignment is your lowest homework score, that score will be dropped from your homework average.
Homework may be done alone or in a group of at most 5 people. Partners may be in any of the sections of the class. You are free to change partners between assignments. Problems should be solved together, not divided up between partners. For homework help, consult your textbook, class notes, lecturer, and TAs. It is considered a violation of the policy on academic integrity to:

• look or ask for answers to homework problems in other texts or sources, including the internet, or to
• discuss the homework problems with anyone outside of your group (unless you are in office hours with someone from the instructional team).

Homework solutions should be neatly written or typed and turned in through Gradescope by 11pm on Friday. Illegible assignments will not be graded. For step-by-step instructions on scanning and uploading your homework, see this handout. Late homeworks will not be accepted. Submit early drafts well before the deadline to make sure partial work is graded.

Quizzes:

Quizzes are another significant part of the course. We will have them in the last ten minutes of each Friday lectures and they will cover the material covered in the previous three lectures.

Discussion Board:

The Piazza forum for our class where questions can be posted and answered. It is a very helpful resource!