CPR E 310: Theoretical Foundations of Computer Engineering
(3-1) Cr. 3. F.S.
Prereq: COM S 228
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.