Jun 15, 2024  
2021-2022 Undergraduate Bulletin 
    
Catalog Navigation
  Catalog Home
  Policies
  2021-2022 Calendar
  UK Core
  Programs by College
  Programs by Degree
  Programs (A-Z)
  Course Descriptions
  The University
  UK’s Distinguished Alumni
  Undergraduate Admission
  Fees
  Tuition
  Financial Aid, Awards, and Benefits
  Living Accommodations
  Cultural Opportunities
  Student Services and Activities
  Academic Advising
  Libraries
  Special Academic Programs
  Academic Requirements
  Graduation Requirements
  Additional Learning Opportunities
  Administration
  University Faculty
  Policy on Residency
  Drug-Free Policy
  My Portfolio
HELP
2021-2022 Undergraduate Bulletin [ARCHIVED 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

College of Engineering

Credit(s): 3

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)