CS 228 : Logic for computer science 2022

Instructors : Ashutosh Gupta and S. Krishna

Timings : 8:30 Monday, 9:30 Tuesday, 10:35 Thursday (Slot 1)
Venue : Online, MSTeams, To join the course team, use team code: 26vzr4x
TAs :
For non gmail email addresses Append "iitb.ac.in" in the text inside the parenthesis
Optional tutorials :

Source material

Interaction policy

Evaluation structure

May change later.

Lectures

Age of philosophy: propositional logic

2022-01-03 : Lecture 1 - Introduction

2022-01-04 : Lecture 2 - Propositional logic (PL), syntax

2022-01-06 : Lecture 3 - Semantics and Truth tables

Age of mathematics: formal proofs

2022-01-10 : Lecture 4 - Formal proofs

2022-01-11 : Lecture 5 - Formal proofs 2

Age of computer science: resolution proof system

2022-01-13 : Lecture 6 - Substitutions and equivalences

2022-01-17 : Lecture 7 - Conjunctive normal forms

2022-01-18 : Lecture 8 - Resolution completeness

2022-01-20 : Lecture 09 - Low complexity SAT

2022-01-29T10:30 (Saturday) : Quiz 1

2022-02-17 Handover to Krishna (one lecture before midterm)

2018-02-19 : Midterm week