Mathematical modeling, design, analysis and proof techniques related to computer engineering. Probability, logic, combinatorics, set theory, and graph theory, as they pertain to the design and performance of computer engineering systems. Techniques for the design and analysis of efficient computational methods from graph theory and networks. Understanding of the limits on the efficiency of such computational methods. Translation from mathematical theory to actual programming. The course emphasizes mathematical rigor.
Credit only granted for: ENEE641 or ENEE759F.
Semesters OfferedFall 2017, Fall 2018, Fall 2019