Dec 03, 2024  
2015-2016 Undergraduate and Graduate Academic Catalog 
    
Catalog Navigation
  Catalog Home
  About the University
  Undergraduate & Graduate Degrees
  Undergraduate Minors
  Colleges & Curriculum Pages
  Course Descriptions
  Undergraduate Studies
  Graduate School
  Policies
  Programs & Services
  My Catalog
HELP
2015-2016 Undergraduate and Graduate Academic Catalog [ARCHIVED CATALOG]

Add to Catalog (opens a new window)

CSCE 521 - Automated Reasoning

3 Credit(s). 0 Hour(s) Lab. 3 Hour(s) Lecture.

Automated reasoning. Emphasis on logical, probabilistic, and non-monotonic reasoning.

Prereq: CMPS 420(G)  or permission of instructor required


Add to Catalog (opens a new window)