CPSC 351: Theoretical Foundations of Computer Science II
Computer Science 351 is a second-year undergraduate course in the mathematical foundations of computer science, and an introduction to theoretical computer science, offered by the Department of Computer Science at the University of Calgary. It is a required course for students majoring in Computer Science.
In Fall 2023, sections with two delivery modes are available:
- L01, lectures 12:30–1:45pm, Tuesdays and Thursdays — a blended course: Lectures are web-based and synchronous. Tutorials and all class tests are in-person.
- L02: lectures 3:30–4:45pm, Tuesdays and Thursdays in ST 141. All components are in-person.
This is also a flipped course: Students will be expected to complete a reading assignment (or watch a video) before attending each lecture. The lecture time will be used to solve a problem that is related to the assigned reading and makes use of material introduced in it.
This course will have a D2L course site which will be used for course communication and reporting of grades. All material, supplied to students for course work, will be made available on the D2L site. The page that you are reading now (and other pages linked to it) includes a subset of this material that can also be accessed by people outside this course. They pages are certainly “under construction” at this point, and they describe the course as it will be offered in Fall 2023.
Course Outline
The CPSC 351 course outline is now available, and this sentence is a link to it.
Lectures and Tutorials
- Introduction and Mathematics Review
- Finite Automata and Regular Languages
- Turing Machines and Their Languages and Functions
- Computability
- Probability for Computer Science
- End of the Course
Additional Course Material
- Recommended References
- More about Course Administration
- Information about Assignments
- Information about Tests
