Axiomatic systems and finite geometries; neutral geometry and the various parallel postulates, leading to Euclidean and hyperbolic geometry; constructions; isometries of the plane and groups of transformations, and inversions in circles; models for Euclidean and hyperbolic geometry; applications. Prerequisite: AUMAT 120 or consent of the instructor.