Academic Calendar 2021-2022

Search Results

CISC 204 Logic for Computing Science

CISC 204  Logic for Computing Science  Units: 3.00  

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.

Requirements: Prerequisite Level 2 or above and a minimum grade of a C- (obtained in any term) or a 'Pass' (obtained in Winter 2020) in (CISC 121 and [CISC 102 or MATH 110]).  
Offering Faculty: Faculty of Arts and Science  

Academic Programs

...BLCK CANC; CHEM; CHIN; CISC; CLST; COCA; COGS...271 ; GLPH 471 ; LAW 204 Other courses from...