Selected Courses from Previous Years

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