Oct 29, 2020  
2016-2017 Faculty of Engineering and Applied Science Calendar-ARCHIVED 
    
2016-2017 Faculty of Engineering and Applied Science Calendar-ARCHIVED [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)