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.
K3(Lec: 3, Lab: 0, Tut: 0)

Requirements: Prerequisites: ELEC 270 or CISC 203 Corequisites: Exclusions:   
Offering Term: FW  
CEAB Units:    
Mathematics 36  
Natural Sciences 0  
Complementary Studies 0  
Engineering Science 0  
Engineering Design 0  
Offering Faculty: Faculty of Arts and Science