Queen's University Logo

Logic for Computing Science [CISC 204]

Logic for Computing Science

CISC-204

LEARNING HOURS: 120 (36L;84P)

Elements of mathematical logic with computing applications. Formal proof systems for propositional and predicate logic. Interpretations, validity, and satisfiability. Introduction to soundness, completeness and decidability.

PREREQUISITE: Level 2 or above and CISC 121/3.0 and (CISC 102/3.0 or MATH 110/6.0).

X