Teaching

In the past 20 years I have taught a variety of graduate and undergraduate courses at New Mexico State University. The syllabi of the courses I have taught are available below.

Graduate Courses

  1. Point-Free TopologyFall 2011
  2. General Topology, Spring 2017Spring 2007.
  3. Lattice TheorySpring 2011Spring 2007Spring 2006.
  4. Mathematical Structures in Logic, Spring 2020, Spring 2018.
  5. Universal Algebra, Fall 2016, Fall 2012Fall 2003.
  6. Modern Algebra IISpring 2003.
  7. Modern Algebra IFall 2002.
  8. Topics in Algebra, Spring 2012.
  9. Foundations of GeometrySpring 2002.
  10. Axiomatic Set Theory, Spring 2016Spring 2001.
  11. Mathematical Logic, Fall 2015, Fall 2013Fall 2010Fall 2008Fall 2006Fall 2004.
  12. Gödel’s Incompleteness TheoremsFall 2009.

Undergraduate Courses

  1. Vector Spaces and Matrix AlgebraSpring 2010 (Distance Education Course), Spring 2009 (Distance Education Course), Spring 2005Spring 2004.
  2. Introduction to Linear Algebra, Spring 2013Fall 2005.
  3. Introduction to Modern Algebra, Spring 2014Fall 2000.
  4. Introduction to Higher Mathematics, Fall 2018, Spring 2014, Fall 2011Spring 2011Fall 2006Spring 2005Spring 2001Fall 2000.
  5. Discrete Mathematics for Computer ScienceFall 2009.
  6. Discrete MathematicsFall 2001.
  7. Ordinary Differential Equations, Spring 2013Spring 2010 (Distance Education Course), Spring 2006.
  8. Calculus and Analytic Geometry III, Fall 2003.
  9. Calculus and Analytic Geometry II Honors, Spring 2020, Spring 2018, Spring 2017, Spring 2016.
  10. Calculus and Analytic Geometry II, Spring 2019 Section 1, Spring 2019 Section 2, Fall 2018, Fall 2016, Fall 2013, Fall 2012Fall 2010Spring 2003Fall 2002.
  11. Calculus and Analytic Geometry I, Fall 2019 Section 2, Fall 2019 Section 5, Fall 2015, Spring 2012Fall 2005.
  12. Mathematics AppreciationSpring 2004Spring 2002Fall 2001.

In 1999 I also taught the following graduate courses at Tbilisi State University, Tbilisi, Georgia.

  • Logic and Set Theory: Fall 1999.
  • Lattice Theory and Categorical Logic: Spring 1999.

Summer Schools

I have taught at BLAST, ESSLLI, TACL, and the Tbilisi-Vienna summer schools.

  1. A Non-Pointfree Approach to Pointfree Topology, BLAST 2019, May 20-24, 2019, Boulder, Colorado. Lecture 1, Lecture 2, Lecture 3.
  2. A Semantic Hierarchy for Intuitionistic Logic, Thirteenth International Tbilisi Summer School in Logic and Language, September 25-29, 2017, Tbilisi, Georgia. Lecture 1, Lecture 2.
  3. Frames, Topologies, and Duality Theory, TACL 2015, June 15-19, 2015, Salerno, Italy. Lecture 1, Lecture 2, Lecture 3, Lecture 4.
  4. Lattices and Topologies, ESSLLI 2008, 1115 August 2008, Hamburg, Germany (jointly with Mamuka Jibladze).
  5. Lattices and Topology, Third International Tbilisi Summer School in Logic and Language, 2728 September 2007, Tbilisi State University (jointly with Mamuka Jibladze).

Historical Modules

I have developed several teaching modules in logic and discrete mathematics based on original historical sources:

  1. Are All Infinities Created Equal?
  2. An Introduction to Elementary Set Theory (with Eachan Landreth)
  3. An Introduction to Symbolic Logic (with Wes Fussner)
  4. Henkin’s Method and the Completeness Theorem
  5. Peano Arithmetic
  6. Goedel’s Incompleteness Theorems
  7. Church’s Thesis
  8. Undecidability of First-Order Logic (with Larry Moss)

More information about teaching discrete mathematics and computer science via original historical sources can be found at Learning Discrete Mathematics and Computer Science via Primary Historical Sources and Teaching Discrete Mathematics via Primary Historical Sources.