CSCI 4325: Automata, Formal Languages, and Computation
CSCI 4325: Automata, Formal Languages, and Computation
Course Information
Course: 4325.03 (40296)
Syllabus: Simple Syllabus
Schedule: MW: 12:30 p.m. - 1:45 p.m., EIEAB 2.207
Final: Dec 9th (W), 10:15 - 12:00 p.m., EIEAB 2.207
Instructor Information
Instructor: Austin Luchsinger; EIEAB 3.246; austin.luchsinger@utrgv.edu
Book: Introduction to the Theory of Computation. M. Sipser, 3rd edition.
Office Hours: T 9:00 a.m. - 11:00, R 1:30 p.m. - 3:30 p.m.
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.