MATH 2307
Theoretical Found of Comp Sci
Lec 2 and Tut 2RA selected
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.
Sections
Lecture
Lec 2
Tue, Thu 13:00-14:15
Tutorial, pick one
Tut 2RA
Fri 10:00-11:15
Tut 2RB
Fri 11:30-12:45
Syllabus
Have the syllabus for MATH 2307? Share it and everyone gets the grading, textbooks and rules.