Course Catalog

all > GRAD > CS

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.

Pre Requisites: Pre-req = MATH 470 or equivalent and permission of instructor

Offered in:

2018 Fall

Section Class Number Schedule/Time Instructor Location
01 9345 TuTh
12:30 - 1:45 pm
Fejer,Peter A M01-0208
Session: Regular
Class Dates: 09/04/2018 - 12/14/2018
Capacity: 30
Enrolled: 1
Status: Open
Credits: 3/3
Class Notes:
Pre Requisites: Pre-req = MATH 470 or equivalent and permission of instructor
Course Attributes: