SW4593 Advanced Logic & Algebra for Software R&D in DoD

The aim of this course is to present fundamentals of advanced logic & algebra for software R&D. Specific topics include equational specifications, algebra, characterization of equation classes, the equation calculus, term rewriting, first and second order logic, temporal logic, model theory and generalized induction.


SW4500 or consent of instructor

Lecture Hours


Lab Hours


Quarter Offered

  • As Required