Mar 28, 2024  
2017-2018 Undergraduate Catalog 
    
2017-2018 Undergraduate Catalog [ARCHIVED CATALOG]

CISC 304 - Logic and Programming (3cr.)

Credit(s): 3
LOGIC & 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.
Allowed Units: 3 Grading Basis: Student Option
PREREQ: CISC 220 , MATH 210  (with minimum C- grade in both).
Course Typically Offered: Spring