Course Catalog
Course Catalog
Course Wizard
Course Search
College Wide
- College of Advancing and Professional Studies
- College of Education and Human Development
- College of Liberal Arts
- College of Management
- College of Nursing and Health Sciences
- College of Public & Community Service
- College of Science and Mathematics
- Honors College
- McCormack Graduate School of Policy and Global Studies
- School for Global Inclusion and Social Development
- School for the Environment
GRAD > CS > 720
Logical Foundations of Computer Science
Description:
The course treats the logical foundations of computer science in a mathematically rigorous way but with emphasis on the applications of logic in computer science. Topics include the syntax and semantics of predicate logic, formal systems for predicate logic, many-sorted logic, and logic programming. Additional topics may include equational logic, algebraic specification, term rewriting, program verification, nonstandard logic, and databases. Students are expected to demonstrate an understanding of theoretical material and the ability to apply it.
Offered in:
2016 Fall
| Section | Class Number | Schedule/Time | Instructor | Location | |
|---|---|---|---|---|---|
| 01 | 5861 | MW 05:30 PM - 06:45 PM |
Fejer,Peter A | Y04-4140 | |
|
Session:
Regular Academic Session
Class Dates:
09/06/2016 - 12/14/2016
Capacity:
25
Enrolled:
19
Status:
Open
Credits:
3/3
Class Notes:
Pre Requisites:
Pre-req = MATH 470 or equivalent and permission of instructor
Course Attributes:
|
|||||
