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.
- Trainer/in: John Dougherty
- Trainer/in: Suzanne Lindell
- Trainer/in: Sorelle Friedler
- Trainer/in: Suzanne Lindell
- Trainer/in: Chris Gliatto
- Trainer/in: Alvin Grissom
- Trainer/in: Nayera Hasan
- Trainer/in: Chang Sun
- Trainer/in: Mateo Taylor
