|
Oct 31, 2024
|
|
|
|
Graduate Studies Catalog 2023-2024 [ARCHIVED CATALOG]
|
SE 500 - Mathematics for Software Engineering3 cr. (Prerequisite admission to the program) This course introduces students to the formal mathematical tools and methods necessary for software engineering. Topics include equational logic, propositional calculus and its applications, techniques of proof, formal logic, quantification and predicate calculus, application of predicate calculus to programming, and mathematical induction.
|
|