CS 410 Top: Automated Deduction
| Credit Hours: | 4 |
| Course Coordinator: | N/A |
| Course Description: | This is a place holder for this topic. Please check with the instructor/professor the quarter this course is offered for specific content. |
| Prerequisites: | |
| Goals: | |
| Textbooks: | |
| References: | |
| Major Topics: | |
| Laboratory Exercises: |
| CAC Category Credits | Core | Advanced |
| Data Structures | ||
| Algorithms | ||
| Software Design | ||
| Computer Architecture | ||
| Programming Languages |
| Oral and Written Communications: | |
| Social and Ethical Issues: | |
| Theoretical Content: | |
| Problem Analysis: | |
| Solution Design: |