Logic in Computer Science (CS 500)

2021 Fall
Faculty of Engineering and Natural Sciences
Computer Sci.& Eng.(CS)
3
10.00
Esra Erdem esraerdem@sabanciuniv.edu,
Click here to view.
English
Doctoral, Master
--
Formal lecture,Interactive lecture
Interactive,Guided discovery,Case Study
Click here to view.

CONTENT

Propositional and first-order logic (soundness and completeness, incompleteness, undecidability, etc.). Logical issues in computer science (decision procedures, formal systems, definability, etc.).

OBJECTIVE

To be able to use logic as a formal tool in computer science.

LEARNING OUTCOME

To have an elementary but mathematically solid understanding of propositional logic, and some of their applications in computer science.


To have an elementary but mathematically solid understanding of first-order logic, and some of their applications in computer science.

ASSESSMENT METHODS and CRITERIA

  Percentage (%)
Midterm 60
Assignment 20
Participation 20