Theoretical Foundations of Computing Science

3 credit hours · Undergraduate

Students use various mathematical concepts to define tools and address problems of fundamental status in Computing Science. Topics include automata, formal languages, formal logic and computability. Other topics may be considered, such as information coding, complexity, knowledge modelling, and automated reasoning.