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.
- მასწავლებელი: John Dougherty
- მასწავლებელი: Suzanne Lindell
- მასწავლებელი: Sorelle Friedler
- მასწავლებელი: Suzanne Lindell
- მასწავლებელი: Chris Gliatto
- მასწავლებელი: Alvin Grissom
- მასწავლებელი: Nayera Hasan
- მასწავლებელი: Chang Sun
- მასწავლებელი: Mateo Taylor
- მასწავლებელი: David Wonnacott
- მასწავლებელი: Thao Nguyen