UK

CS375: Logic and Theory of Computing (Fall 2026)

Lecture Notes

Will be followed in the following order.

This is the home page of CS375:  Logic and Theory of Computing 

Instructor:
Dr. Fuhua (Frank) Cheng
cheng@cs.uky.edu

In this course, the students will learn about basic models of computation based on finite automata, grammars and Turing machines. Specific skills as outcomes of the course include: (1) A fluency in the elements of automata theory, regular grammars and regular expressions, and their uses; (2) An understanding of the relationship between formal models of computation and modern computers; (3) An understanding of the relevance of theory of computation to the computer science curriculum; (4) An ability to apply knowledge of computing and mathematics appropriate to the discipline; (5) An ability to apply mathematical foundations, algorithmic principles, and computer science theory in the modeling and design of computer-based systems in a way that demonstrates comprehension of the tradeoffs involved in design choices.  

The course syllabus is available in ppt format and HTML format.

Campus resources , including Engineering Wellness Center, UK Counseling Center and Center for Support and Intervention , you can use (for free).  

See Title IV Regulation here.  

Exam dates:

  • Midterm date: Oct. 20, 2026 (Tuesday)
  • Final Exam date & time: 8-10am, Dec. 15, 2026 (Tuesday)

Link to UK Canvas


Review sheet for Midterm

Review sheet for Final


Midterm Exam Solution Set

Final Exam Solution Set


Homework Assignments


Homework Solution Sets