| |
Jan 30, 2025
|
|
|
|
|
CS 375 - LOGIC AND THEORY OF COMPUTING
Stanley and Karen Pigman 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.
Add to Portfolio (opens a new window)
|
|