CMPSC 209 - Logic and Applications in Computer Science

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

No Prerequisites

CMPSC 209

7 / 35 Enrolled

Logic and Applications in Computer Science

Jianwen Su 2.1

M W

13:00 PM - 14:50 PM

61.3% A