|
Apr 23, 2024
|
|
|
|
CES 512 - Theory of Software Systems Unit(s): 3 Lecture: 3 hours Review of data structures and basic algorithms for sorting, searching, and string processing. Basics of logic, formal systems, grammars, and automata. Applications to some of the following areas: design of language processing tools (editor, translator etc.), software specification, testing and verification, and non-numerical problem solving. The course may require significant lab and/or project activity.
Prerequisite(s): ES 314 or consent of instructor. Typically Offered Variable Intermittently Grading: GRD
Add to Favorites (opens a new window)
|
|