Spring 2025: | Math 712: Logic |
Spring 2023: | Math 712: Logic |
Spring 2021: | Math 713: Topics in Logic: Computable Structure Theory |
Spring 2020: | Math 712: Logic |
Spring 2016: | Math 712: Logic |
Spring 2015: | Math 712: Logic |
Autumn 2013: | Computer Science 85020: Computable Model Theory |
Autumn 2011: | Computer Science 85020: Introduction to Computability Theory |
Spring 2009: | Math 712: Logic |
Autumn 2008: | Computer Science 85020: Topics in Computability Theory |
Spring 2007: | Math 712: Logic |
Autumn 2006: | Computer Science 85020: Introduction to Computability Theory |
Spring 2005: | Math 712: Logic |
Autumn 2024: | Math 702: Modern Abstract Algebra I |
Spring 2024: | Math 609: Introduction to Set Theory |
Autumn 2023: | Math 617: Number Systems |
Spring 2023: | Math 141: Calculus/Differentiation |
Autumn 2022: | Math 301: Introduction to Algebraic Structures |
Spring 2022: | Math 626: Mathematics and Logic |
Autumn 2021: | Math 310: Elementary Real Analysis |
Autumn 2020: | Math 141: Calculus/Differentiation (two sections) |
Autumn 2019: | Math 614: Functions of Real Variables |
Math 619: Theory of Numbers | |
Spring 2018: | Math 241: Introduction to Probability and Mathematical Statistics |
Math 202: Advanced Calculus | |
Autumn 2017: | Math 626: Mathematics and Logic |
Math 141: Calculus/Differentiation | |
Spring 2017: | Math 142: Calculus/Integration (two sections) | Autumn 2016: | Math 626: Mathematics and Logic |
Math 152: Calculus/Integration and Infinite Series | |
Spring 2016: | Math 609: Introduction to Set Theory |
Autumn 2015: | Math 333: Introduction to Algebraic Structures |
Math 141: Calculus/Differentiation | |
Math 131: Calculus for the Social and Life Sciences | |
Autumn 2014: | Math 626: Mathematics and Logic |
Math 223: Differential Equations with Numerical Methods I (first six weeks, September 1 - October 15) | |
Math 141: Calculus/Differentiation | |
Math 131: Calculus for the Social and Life Sciences | |
Spring 2014: | Math 609: Introduction to Set Theory |
Math 231: Linear Algebra I | Autumn 2013: | Math 626: Mathematics and Logic | Spring 2013: | Math 609: Introduction to Set Theory |
Math 142: Calculus/Integration (two sections) | Autumn 2012: | Math 626: Mathematics and Logic |
Math 223: Differential Equations with Numerical Methods I | Autumn 2011: | Math 626: Mathematics and Logic | Autumn 2010: | Math 626: Mathematics and Logic |
Math 157: Honors Calculus | Spring 2010: | Math 609: Introduction to Set Theory |
Math 141: Calculus/Differentiation | |
Math 131: Calculus for the Social and Life Sciences | |
Autumn 2009: | Math 509: Set Theory and Logic |
Spring 2009: | Math 609: Introduction to Set Theory |
Math 503: Mathematics from an Algorithmic Standpoint | |
Autumn 2008: | Math 626: Mathematics and Logic |
Spring 2008: | Math 609: Introduction to Set Theory |
Math 223: Differential Equations with Numerical Methods I | |
Math 131: Calculus for the Social and Life Sciences | |
Autumn 2007: | Math 626: Mathematics and Logic |
Math 131: Calculus for the Social and Life Sciences | |
Spring 2007: | Math 609: Introduction to Set Theory |
Autumn 2006: | Math 626: Mathematics and Logic |
Math 141: Calculus/Differentiation | |
Spring 2006: | Math 609: Introduction to Set Theory |
Math 141: Calculus/Differentiation | |
Autumn 2005: | Math 626: Mathematics and Logic |
Math 151: Calculus/Differentiation & Integration | |
Spring 2005: | Math 208: Honors Calculus IV |
Autumn 2004: | Math 241: Introduction to Probability and Mathematical Statistics |
Math 207: Honors Calculus III | |
Spring 2004: | Math 626: Mathematics and Logic |
Math 158: Honors Calculus II | |
Autumn 2003: | Math 241: Introduction to Probability and Mathematical Statistics |
Math 157: Honors Calculus |
Spring 2003: | Math 787: Set Theory |
Math 481/Phil. 431: Mathematical Logic | |
Spring 2002: | Math 783: Model Theory |
Math 486/CS 486: Applied Logic | |
Spring 2001: | Math 481/Phil. 431: Mathematical Logic |
Autumn 2000: | Math 222: Multivariable Calculus |