A survey of core algorithms and techniques from the field of machine reasoning and decision-making. Topics include search, game playing, constraint satisfaction problems, planning, reinforcement learning, knowledge representation, and logic.
Counts towards the Mathematics major and minor.
Counts towards the Computer Science major and minor.
CSC 221 and one of CSC/MAT 220, MAT 230, or MAT 255; or permission of the instructor.