Lecture Notes
Will be followed in the following order.
- Preliminaries
- Regular Languages and Finite Automata-I
- Regular Languages and Finite Automata-II
- Regular Languages and Finite Automata-III
- Regular Languages and Finite Automata-IV
- Context-free Languages and Pushdown Automata-I
- Context-free Languages and Pushdown Automata-II
- Context-free Languages and Pushdown Automata-III
- Context-free Languages and Pushdown Automata-IV
- Context-free Languages and Pushdown Automata-V
- Turing Machines & Equivalent Models-I
- Turing Machines & Equivalent Models-II
- Turing Machines & Equivalent Models-III
- Propositional Logic I II
- Predicate Logic I II III
- Computational Logic I II
- Algebraic Structure
(if time permits, then)
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 tutoring, UK Counseling Center and Center for Support and Intervention , you can use (for free). See Title IV Regulation here.
Exam dates:
- Midterm date: October 21, 2025 (Tuesday)
- Final Exam date & time: 10:30am-12:30pm, December 18, 2025 (Thursday)
Link to
UK Canvas
Review sheet for
Midterm
Review sheet for
Final
Midterm Exam Solution Set
Final Exam Solution Set
Homework Assignments
- Homework 1 (pdf file) (docx file) (due date: 09/02/2025)
- Homework 2 (pdf file) (docx file) (due date: 09/09/2025)
- Homework 3 (pdf file) (docx file) (due date: 09/16/2025)
- Homework 4-1 (pdf file) (docx file) (due date: 09/23/2025)