Academic Calendar 2022-2023

Search Results

CMPE 204 Logic For Computing Science

CMPE 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: ELEC 270 or CISC 203  
Offering Faculty: Faculty of Arts and Science