Aug 21, 2019  
2019-2020 Undergraduate Catalog 
    
2019-2020 Undergraduate Catalog

CISC 304 - Logic for Programming

Credit(s): 3
LOGIC FOR PROGRAMMING
Component: Lecture
Propositional and predicate logic for general reasoning and advanced applications in knowledge representation in artificial intelligence and database, program correctness and programming semantics. Models, resolution, logic programming, and natural deduction.
Repeatable for Credit: N Allowed Units: 3 Multiple Term Enrollment: N Grading Basis: Student Option
PREREQ: CISC 220 , MATH 210  (with minimum C- grade in both).
Course Typically Offered: Spring
General Education Objectives:
GE5B: Reason Computationally