CMPS 3310/6310 Logic in Computer Science

CMPS 3310/6310 Logic in Computer Science
Logic in Computer Science
This course is an introduction to logic and its applications in computer science. The topics covered include soundness and completeness of propositional logic, predicate logic, linear time temporal logic and branching time temporal logics and their expressive power, frameworks for software verification, Hoare triples, partial and total correctness, modal logics and agents, and binary decision diagrams.
Pre-requistites: CMPS 2200 or equivalent and CMPS 2170 or equivalent or permission of instructor.
credit hours: 3