|
Aug 31, 2024
|
|
|
|
2021-2022 Undergraduate Catalog [ARCHIVED 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: Fall and Spring General Education Objectives: GE5B: Reason Computationally
|
|