Title: Logic, Language and Proof
Description: A basic course in the logic of mathematics, the construction of proofs and the writing of proofs. The mathematical content is primarily logic and proofs, set theory, combinatorics, functions and relations. There is considerable focus on writing. May not be taken for credit in addition to MAT 250.
Prerequisite: Level 4 on the mathematics placement examination or equivalent course or permission of the instructor
SBC: STEM+
Credits: 3
Textbook:
Note: Subject to change - do not buy before confirming with the course instructorMajor Topics Covered:
- Propositional Logic
- Logic Connectives and Truth Tables
- Proofs
- Proofs by Contradiction
- Mathematical Induction
- Set Theory and Operations with Sets
- Quantifiers
- Proofs Involving Quantifiers
- Functions, Injections, Surjections, and Bijections
- Pigeonhole Principle
- Counting Finite Sets and Basic Combinatorics
- Infinite Sets, Countable and Uncountabel Sets
- Equivalence Relations
Undergraduate Bulletin Course Information
Course Webpages:
- Fall 2024 - Lecture 02
- Spring 2024 - Lecture 04
- Spring 2024 - Lecture 03
- Spring 2024 - Lecture 02
- Fall 2023 - Lecture 04
- Fall 2023 - Lecture 03
- Fall 2023 - Lecture 02
- Fall 2023 - Lecture 01
- Spring 2022 - Lecture 04
- Spring 2022 - Lecture 03
- Spring 2022 - Lecture 02
- Spring 2022 - Lecture 01
- Fall 2021 - Lecture 01
- Summer I 2021
- Spring 2021 - Lecture 02
- Fall 2020 - Lecture 01
- Summer I 2020
- Spring 2020 - Lecture 02
- Fall 2019 - Lecture 03
- Fall 2019 - Lecture 01
- Spring 2019 - Lecture 02
- Fall 2018 - Lecture 02
- Spring 2018 - Lecture 02
- Spring 2018 - Lecture 01
- Fall 2017 - Lecture 02
- Fall 2017 - Lecture 01
- Spring 2017 - Lecture 02
- Spring 2017 - Lecture 01
- Summer I 2016
- Spring 2016 - Lecture 02
- Spring 2016 - Lecture 01
- Fall 2015
- Spring 2015
- Fall 2014 - Lecture 02
- Fall 2014 - Lecture 01
- Spring 2014 - Lecture 02
- Spring 2014 - Lecture 01
- Fall 2013
- Fall 2011
- Fall 2010
- Spring 2010
- Fall 2009
- Fall 2008
- Spring 2008
- Fall 2007
- Spring 2007
- Fall 2006
- Spring 2006
- Fall 2004
- Fall 2002
For Instructors: