***PROVISIONALLY APPROVED COURSE (CC NLT 22-1). This course grounds cadets in algorithms and key topics in the theory of computation, with a focus on how key theoretical techniques help the cyber professional discern what is and is not feasible in cyberspace. Topics include analysis of algorithms, how to use algorithmic complexities to choose between algorithms, algorithmic approaches, and an introduction to: formal languages, automata, computational theory, decidability, and the Chomsky hierarchy.
