Introduction to the intellectual and software tools used to create and study algorithms: formal and informal problem specification; problem solving and algorithm design techniques; reliability, formal verification, testing, and peer code review techniques; program clarity, complexity, and efficiency; functional and imperative paradigms; associated programming skills.
- rhētor: John Dougherty
- rhētor: Suzanne Lindell
- rhētor: Sorelle Friedler
- rhētor: Suzanne Lindell
- rhētor: Chris Gliatto
- rhētor: Alvin Grissom
- rhētor: Nayera Hasan
- rhētor: Chang Sun
- rhētor: Mateo Taylor
