Selected Courses from Previous Years
Spring 2024. MATH 3410 / LGIC 2200 :
Discrete Mathematics II.
Spring 2024. MATH 5710 / LGIC 3200 / PHIL 4722 / PHIL 6722:
Logic and Computability 2: Introduction to Category Theory and Type
Theory.
Fall 2023. MATH 3400 / LGIC 2100 :
Discrete Mathematics I.
Spring 2023. MATH 3410 / LGIC 2200 :
Discrete Mathematics II.
Fall 2022. MATH 3400 / LGIC 2100 :
Discrete Mathematics I.
Spring 2022. MATH 341 / LGIC 220 :
Discrete Mathematics II.
Fall 2021. MATH 340 / LGIC 210 :
Discrete Mathematics I.
Spring 2020. MATH 341 / LGIC 220 :
Discrete Mathematics II.
Spring 2019. MATH 341 / LGIC 220 :
Discrete Mathematics II.
Spring 2018. MATH 341 / LGIC 220 :
Discrete Mathematics II.
Spring 2014. MATH 341 / LGIC 220 :
Discrete Mathematics II.
Spring 2013. MATH 115 :
Calculus II with Probability and Matrices.
Spring 2013. MATH 341 / LGIC 220 :
Discrete Mathematics II.
Fall 2012. MATH 115 :
Calculus II with Probability and Matrices.
Spring 2012. MATH 115 :
Calculus II with Probability and Matrices.
Fall 2011. MATH 690:
Mathematical Foundations of Computer Security.
Fall 2010. MATH 115 :
Calculus II with Probability and Matrices.
Spring 2010. MATH 115 :
Calculus II with Probability and Matrices.
Spring 2010. MATH 341 / LGIC 220 :
Discrete Mathematics II.
Spring 2009. MATH 341 / LGIC 220 :
Discrete Mathematics II.
Fall 2008. MATH 570 / LGIC 310 / PHIL 006 / PHIL 506 :
Introduction to Logic and Computation I.
Spring 2008. MATH 341 / LGIC 220 :
Discrete Mathematics II.
Spring 2008. MATH 571 :
Introduction to Logic and Computation II: Set Theory.
Fall 2007. MATH 691 : Topics in Mathematical Foundations
of Computer Security.
Spring 2007. MATH 341 / LGIC 220 :
Discrete Mathematics II.
Fall 2006. MATH 690:
Mathematical Foundations of Computer Security.
Spring 2006. MATH 341 / LGIC 220 :
Discrete Mathematics II.
Fall 2004. MATH 340 / LGIC 210 :
Advanced Mathematical Methods in Computer Science.
Spring 2004. MATH 690:
Mathematical Foundations of Computer Security.
Fall 2003. MATH 340 / LGIC 210 :
Advanced Mathematical Methods in Computer Science.
Spring 2003:
Introduction to Logic and Computation II: Set Theory.
Fall 2002:
Advanced Mathematical Methods in Computer Science.
Spring 2002:
Introduction to Logic and Computation.
Spring 2001: Topics in Mathematical Foundations of Computer
Security
Fall 2000: Mathematical Foundations of Computer Security
Spring 2000: Introduction to Logic and Computation
Fall 1999: Mathematical Foundations of Computer Security
Spring 99: Math 151 Calculus SBSC II
Fall 98: Modal and Temporal Logics
Fall 96: Topics in Computational Complexity Theory
Spring 96: Introduction to Computational Complexity
Theory