This course introduces important mathematical and theoretical tools for computer science, including topics from set theory, combinatorics, and probability theory, and then proceeds to automata theory, the Turing Machine model of computation, and notions of computational complexity. The course will emphasize formal reasoning and proof techniques.
Spring | Summer | Fall | ||
---|---|---|---|---|
(Session 1) | (Session 2) | |||
2023 |
Foundations Of Computer Sci (4c)
|
Foundations Of Computer Sci (4c)
|
||
2022 |
Foundations Of Computer Sci (4c)
|
Foundations Of Computer Sci (4c)
|
||
2021 |
Foundations Of Computer Sci (4c)
|
Foundations Of Computer Sci (4c)
|
||
2020 |
Foundations Of Computer Sci (4c)
|
Foundations Of Computer Sci (4c)
|
||
2019 |
Foundations Of Computer Sci (4c)
|
Foundations Of Computer Sci (4c)
|
||
2018 |
Foundations Of Computer Sci (4c)
|
Foundations Of Computer Sci (4c)
|
||
2017 |
Foundations Of Computer Sci (4c)
|
Foundations Of Computer Sci (4c)
|
||
2016 |
Foundations Of Computer Sci (4c)
|
Foundations Of Computer Sci (4c)
|
||
2015 |
Foundations Of Computer Sci (4c)
|
Foundations Of Computer Sci (4c)
|
||
2014 |
Foundations Of Comp Sci (4c)
|
Foundations Of Computer Sci (4c)
|
||
2013 |
Foundations Of Comp Sci (4c)
|
Foundations Of Computer Sci (4c)
|
||
2012 | ||||
2011 | ||||
2010 | ||||
2009 | ||||
2008 | ||||
2007 |