Dec 23, 2025  
2025-2026 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Notifications
  The University
  Undergraduate Admission
  Student Residency
  Tuition
  Fees
  Financial Aid, Awards, and Benefits
  Academic Advising
  Student Services
  Student Life
  Academic Requirements
  Graduation Requirements
  Special Academic Programs
  UK Core
  Drug-Free Policy
  Programs (A-Z)
  Programs by College
  Programs by Degree
  Course Descriptions
  Administration
  Addendum
  My Portfolio
HELP
2025-2026 Undergraduate Catalog
Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)

CS 375 - Logic and Theory of Computing

[3 Credit Hours]

Topics in logic and discrete math aimed at applications in Computer Science. Propositional calculus: truth tables, logical relations, proofs, tautologies, soundness. Predicate calculus: variables, quantifiers, equivalencies. Models of computation: logic circuits, finite automata, Turing machines.

Prereq: MA 113, CS 215, 275 and engineering standing.


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)