Logic and Applications in Computer Science

Number: 
CMPSC 209
Level: 
Graduate
Units: 
4

Description

Propositional logic, first order logic, completeness, compactness, incompleteness, undecidability; selected topics from finite model theory, theorem proving, logic programming, program verification, databases, computational complexity.