Instructor:
Fuhua Cheng
375
Credits:
3.0
001
Building:
Thomas Hunt Morgan Bio Sci Bldg
Room:
Rm.116
Semester:
Spring 2025
Start Date:
End Date:
Name:
Logic/Theory Of Comput
Requisites:
Prereq: MA 113, CS 215, 275 and engineering standing.
Class Type:
LEC
10:00 am
10:50 am
Days:
MWF
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.
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.
CS