Academic Calendar 2024-2025

Search Results

Search Results for "CMPE 204"

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: Yes, Lab: No, Tut: No)
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  

Course Learning Outcomes:

  1. Construct a syntactic proof as a series of rigorous inference steps in a logical deduction.
  2. Represent logical statements and descriptions declaratively in a logical language.
  3. Analyze the semantics of a set of logical statements in a logical framework.
  4. Synthesize a rigorous human-understandable English description of a set of logical statements.