CSCI 4325: Automata, Formal Languages, and Computation
Embedded Files
Course Information
Instructor: Austin Luchsinger; EIEAB 3.246; austin.luchsinger@utrgv.edu
Book: Introduction to the Theory of Computation. M. Sipser, 3rd edition.
Office Hours: TR: 11:00 a.m. - 12:15 p.m.
CRN: Section 04: 71656
Syllabus: CSCI4325-04_syllabus.pdf
Schedule: TR: 11:00 a.m. - 12:15 p.m., EIEAB 2.203
Final: May 12th (T), 10:15 a.m. - 12:00 p.m., EIEAB 2.203
Resources
Here are some additional resources, courtesy of Dr. Wylie:
How to Prove it: A Structured Approach. Velleman, 2nd edition, 2006.
Models of Computation. Erickson, J., 2015.
Introduction to Theory of Computation. Maheshwari, A. and Smid, M., 2016.
Lecture slides from MIT. Williams, R., 2019.
Lecture notes from MIT. Aaronson, S., 2008.
Mathematics and Computation. Wigderson, A., 2019.
Introduction to Theoretical Computer Science. Barak, B., 2020.
Discrete Mathematics: An Open Introduction 3rd edition, Levin, O., 2020.
Problem Sets / Assignments
----- Assignments -----
TBD
----- Extra Credit -----
Challenge Problems from Assignments.
Page updated
Report abuse