Apr 19, 2024  
2020-2021 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Welcome to the University

  Undergraduate Admissions
  Opportunities to Enrich Your Undergraduate Education
  Costs, Billing, and Financial Aid

  Student Life, Campus Activities, and Dining
  Student Guide to University Policies
  Resources for Students
  Academic Regulations for Undergraduates

  Programs
  Courses
  Supplemental Course Descriptions

  College of Agriculture and Natural Resources
  College of Arts and Sciences
  Alfred Lerner College of Business and Economics
  College of Earth, Ocean, and Environment
  College of Education and Human Development
  College of Engineering
  College of Health Sciences
  Honors College & Courses of Study
  Joseph R. Biden, Jr. School of Public Policy and Administration

  Associate in Arts Program
  University Studies Program (UST)

  Flexible Programs Promote Lifelong Learning
  Research Centers, Institutes, and Special Facilities

  Coronavirus (COVID-19) Emergency Response Policies
HELP
2020-2021 Undergraduate Catalog [ARCHIVED CATALOG]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)

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


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)