CPRE 3100: Theoretical Foundations of Computer Engineering
Credits: 3. Contact Hours: Lecture 2, Discussion 1.
Prereq: COMS 2280
Propositional logic and methods of proof; basic discrete structures; mathematical induction and recurrence relations; functions and relations; and counting; trees and graphs; applications in computer engineering.
(Typically Offered: Fall, Spring)