CST 7020 PROGRAMMING LANGUAGE LOGIC (3)

This fundamental course focuses on programming language logic, including the syntax and semantics of programming languages, the principles of programming language design, and program correctness. Students will learn to reason about programs, write programs that meet certain specifications, and formally verify program correctness. Topics covered include propositional and predicate logic, operational semantics, type theory, and program verification.