CSE 3315 - Theory of Computation
⭓Description
This is the course page for CSE 3315 - Theory of Computation in Summer 2025. Here you’ll find class notes and other helpful resources. All assignments and announcements will be posted on Canvas.
Instructor Office Hours
| Days | Time | Location |
|---|---|---|
| MoWe | 1PM - 2PM | ERB 556A |
| TuTh | 3PM - 4PM | ERB 556A |
| Fri | 9AM - 10AM | Teams |
Teaching Assistants
- Roman Strukov (rxs6055 (at) mavs (dot) uta (dot) edu)
Office Hours
TBD
⭓Course Materials
Books
- Michael Sipser, Introduction to the Theory of Computation, Cengage, 2013.
- Richard Hammack, Book of Proof, Self published, 2018.
- Daniel J. Velleman, How To Prove It, Cambridge University Press, 2019.
- Avi Wigderson, Mathematics and Computation, Online, 2018.
- Kenneth H. Rosen, Discrete Mathematics and Its Applications, McGraw-Hill, 2018.
Resources
⭓Schedule
This schedule is tentative and may change.
| Date | Topic | Materials |
|---|---|---|
| June 2 | Course Introduction, Background, Finite Automata |
|
| June 4 | Regular Operations and Closure |
|