 |
|
|
|
 |
|
||
 |
|
||
 |
|
||
 |
|
||
 |
|
||
 |
|
||
 |
|
||
 |
|
||
 |
|
||
 |
|
||
 |
|
||
 |
|
||
 |
|
||
 |
|
||
 |
|
||
 |
|
||
 |
|
||
 |
 |
 |
|
 |
|
||
Course Description |
||
|---|---|---|
| Programs | Requirements | Courses | Forms | ||
| 521. AUTOMATED REASONING. (3, O, 3). | ||
Comprehensive, study of automated reasoning. Emphasis on logical, probabilistic, and non-monotonic reasoning. Prereq: CMPS 420(G) or consent of instructor. Same as EECE 521. |
|
|
|
|
 |
|
||
 |
 |
 |
|
 |
|
||