CS 228 : Logic in Computer Science

Krishna. S

1/4
 Welcome

What is this course about? A mini-zoo of logics.

2/4
 Welcome

What is this course about? A mini-zoo of logics. Here are some

typical questions you will learn to answer:

2/4
 Welcome

What is this course about? A mini-zoo of logics. Here are some

typical questions you will learn to answer:
I Q1: Given a formula ϕ in a logic L, is ϕ satisfiable?

2/4
 Welcome

What is this course about? A mini-zoo of logics. Here are some

typical questions you will learn to answer:
I Q1: Given a formula ϕ in a logic L, is ϕ satisfiable?
I Q2: Given a formula ϕ in a logic L, is ϕ valid?

2/4
 Welcome

What is this course about? A mini-zoo of logics. Here are some

typical questions you will learn to answer:
I Q1: Given a formula ϕ in a logic L, is ϕ satisfiable?
I Q2: Given a formula ϕ in a logic L, is ϕ valid?
I Q3: How easy is to answer Q1 and Q2?

2/4
 Welcome

What is this course about? A mini-zoo of logics. Here are some

typical questions you will learn to answer:
I Q1: Given a formula ϕ in a logic L, is ϕ satisfiable?
I Q2: Given a formula ϕ in a logic L, is ϕ valid?
I Q3: How easy is to answer Q1 and Q2?
I Q4: Can you write an algorithm to answer Q1 and Q2?

2/4
 Welcome

What is this course about? A mini-zoo of logics. Here are some

typical questions you will learn to answer:
I Q1: Given a formula ϕ in a logic L, is ϕ satisfiable?
I Q2: Given a formula ϕ in a logic L, is ϕ valid?
I Q3: How easy is to answer Q1 and Q2?
I Q4: Can you write an algorithm to answer Q1 and Q2?
I Q5: Can you “prove” any factually correct statement using the
chosen logic L?

2/4
 Welcome

What is this course about? A mini-zoo of logics. Here are some

typical questions you will learn to answer:
I Q1: Given a formula ϕ in a logic L, is ϕ satisfiable?
I Q2: Given a formula ϕ in a logic L, is ϕ valid?
I Q3: How easy is to answer Q1 and Q2?
I Q4: Can you write an algorithm to answer Q1 and Q2?
I Q5: Can you “prove” any factually correct statement using the
chosen logic L?
I Q6: How is logic L used in computer science?

2/4
 Welcome

What is this course about? A mini-zoo of logics. Here are some

typical questions you will learn to answer:
I Q1: Given a formula ϕ in a logic L, is ϕ satisfiable?
I Q2: Given a formula ϕ in a logic L, is ϕ valid?
I Q3: How easy is to answer Q1 and Q2?
I Q4: Can you write an algorithm to answer Q1 and Q2?
I Q5: Can you “prove” any factually correct statement using the
chosen logic L?
I Q6: How is logic L used in computer science?
I Q7: What are the techniques needed to go about these
questions?

2/4
 Members of the mini-zoo

We will restrict ourselves to the following members:

3/4
 Members of the mini-zoo

We will restrict ourselves to the following members:

I Propositional Logic

3/4
 Members of the mini-zoo

We will restrict ourselves to the following members:

I Propositional Logic
I First Order Logic

3/4
 Members of the mini-zoo

We will restrict ourselves to the following members:

I Propositional Logic
I First Order Logic
I Monadic Second Order Logic

3/4
 Members of the mini-zoo

We will restrict ourselves to the following members:

I Propositional Logic
I First Order Logic
I Monadic Second Order Logic
I Linear Temporal Logic

3/4
 Members of the mini-zoo

We will restrict ourselves to the following members:

I Propositional Logic
I First Order Logic
I Monadic Second Order Logic
I Linear Temporal Logic
I Their applications in CS
More if time permits!

3/4
 References

I To start with, the text book of Huth and Ryan : Logic for CS.
Already on Piazza.

4/4
 References

I To start with, the text book of Huth and Ryan : Logic for CS.
Already on Piazza.
I As we go ahead, lecture notes/monographs/other text books.

4/4
 References

I To start with, the text book of Huth and Ryan : Logic for CS.
Already on Piazza.
I As we go ahead, lecture notes/monographs/other text books.
I Classes : Slot 5. Tutorial: To discuss.
I Confirmed TAs: Aneesh Shetty, Anuj Diwan, Onkar Deshpande,
Pranav Rao

4/4