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)
K3(Lec: Yes, Lab: No, Tut: No)
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:
- Construct a syntactic proof as a series of rigorous inference steps in a logical deduction.
- Represent logical statements and descriptions declaratively in a logical language.
- Analyze the semantics of a set of logical statements in a logical framework.
- Synthesize a rigorous human-understandable English description of a set of logical statements.