Mar 29, 2024  
Graduate Studies Catalog 2013-2014 
    
Graduate Studies Catalog 2013-2014 [ARCHIVED CATALOG]

SE 500 - Mathematics for Software Engineering

3 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.