Credit can only be received for either CISC401 or CISC601. Credit cannot be received for both CISC403 and CISC603. Syntax, semantics, models, formal proofs and results on soundness, consistency, completeness, compactness and undecidability. Automated theorem proving also covered. Credit cannot be received for both CISC404 and CISC604.
Contents vary to coincide with the interests of students and current faculty.
Credit cannot be received for both CISC409 and CISC609. Introduction to one or more computer algebra systems, algebraic computation applied to problems in applied mathematics, and individual student projects using symbolic computation to solve a problem from student's own discipline. May be cross-listed with MATH613. Credit cannot be received for both CISC423 and CISC623. Study and use of simulation languages.