Sep 30, 2020  
2018-2019 Faculty of Engineering and Applied Science Calendar 
    
2018-2019 Faculty of Engineering and Applied Science Calendar [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CMPE 204 Logic for Computing Science F | 3


Lecture: 3
Lab: 0
Tutorial: 0
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.

Academic Units:
Mathematics 36
Natural Sciences 0
Complementary Studies 0
Engineering Science 0
Engineering Design 0

PREREQUISITE(S): ELEC 270  or CISC 203



Add to Portfolio (opens a new window)