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: 9:00 - 11:00 a.m., 1:00 - 3:00 p.m.
CRN: Section 01: 12772
Syllabus: CSCI4325-01_syllabus.pdf
Schedule: MW, 3:00 p.m. - 4:45 p.m., EIEAB 2.209
Final: Dec 17th (W), 1:15 p.m. - 3:00 p.m., EIEAB 2.209
CRN: Section 03: 71656
Syllabus: CSCI4325-03_syllabus.pdf
Schedule: MW, 12:30 p.m. - 1:45 p.m., EIEAB 1.212
Final: Dec 17th (W), 10:15 a.m. - 12:00 p.m., EIEAB 1.212
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.
Page updated
Report abuse