UK

CS375: Logic and Theory of Computing (Spring 2024)

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 develop knowledge of a variety of mathematical tools for the design and analysis of algorithms and computer programs. They 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: March 8, 2024 (Friday)
  • Final Exam date & time: 10:30am-12:30pm, April 29, 2024 (Monday)

Link to UK Canvas


Review sheet for Midterm


Review sheet for Final

  • Study Guide for 2024s Final exam (available on 4/23)
  • Sample Final Exam (available on 4/23)
  • Solution of Sample Final Exam (available on 4/26)

    • Midterm Exam Solution Set

    Final Exam Solution Set



    Homework Assignments


    Homework Solution Sets