Jan 07, 2025  
2017-2018 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Welcome to the University
  Programs
  Undergraduate Admissions
  Costs, Billing, and Financial Aid
  Student Life, Campus Activities, and Dining
  Opportunities to Enrich Your Undergraduate Education
  Resources for Students
  Academic Regulations for Undergraduates
  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
  Research Centers, Institutes, and Special Facilities
  Associate in Arts Program
  Flexible Programs Promote Lifelong Learning
  Courses
  Supplemental Course Descriptions
HELP
2017-2018 Undergraduate Catalog [ARCHIVED CATALOG]

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

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


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