## Current Courses

### Spring 2017

###

## Recent Courses

### Fall 2016

## Courses
Taught at GW

**Introductory Undergraduate**: *College
algebra; General mathematics; Mathematical ideas;
**Mathematics
and Politics; Precalculus; Calculus with
precalculus; Calculus for the social and
management sciences; Finite mathematics for the
social and management sciences; Single variable
calculus I; Single variable calculus II;
Multivariable calculus.*
**Advanced Undegraduate**:* **Introduction to
mathematical reasoning *(including
WID version), *I**ntroduction to
mathematical logic; Introduction to automata
theory *(Statistics Department)*; Axiomatic
set theory; Computability theory *(including
WID version);* Computational complexity *(including
WID version); *Topics in Mathematics. Classical and
Quantum Computational Complexity*

**Special Undergraduate**: *Mathematical
theory of languages, *I–II for the University
Honors Program; *Set theory* for the Summer
Program for Women in Mathematics; *Dean's Seminar
for Freshmen: Mathematical logic, language, and
learning*; *Dean's Seminar for Freshmen: Is
reasoning computable*?; *Dean's Seminar for
Freshmen: Mathematics of the infinite*; *Dean's
Seminar for Freshmen: Turing machines, Chomsky
languages, digital and quantum computing*; *Computational
complexity* for the Computational Sciences
Master's Program
**Graduate **
*Mathematical logic*
*Graduate Topics in Logic*
- Axiomatic Set
Theory

- Topics in
Model Theory: Classical and Computable
- Topics in computability theory and
applications
- Algorithmic
learning theory

- Topics in computations theory
- Turing degrees
- NP-completeness
- Multi-valued logic
- Independence results in set theory
- Recursion theory: hierarchies, oracles and
degrees
- Models, algorithms, and applications
- The forcing method
- Computable structure theory
- Frequency computations
- Computable algebra
- Gödel incompleteness
- Computability theory and applications to
structures
- Ordinals, definability, and computability
- Model theory and algorithmic model theory
- Axiomatic set theory
- Algorithmic methods
- Algorithms and mathematics