CS 228 : Logic for computer science 2021

Instructors : Ashutosh Gupta and S. Krishna

Timings : 8:30 Monday, 9:30 Tuesday, 10:35 Thursday (Slot 1)
Venue : MSTeams, To join the course team, use team code: cfgfg9h
TAs : TBA
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

2021-01-07 : Lecture 1 - Introduction

2021-01-11 : Lecture 2 - Propositional logic (PL), syntax

2021-01-12 : Lecture 3 - Semantics and Truth tables

Age of mathematics: formal proofs

2021-01-16 (Saturday) : Lecture 4 - Formal proofs

2021-01-18 : Lecture 5 - Formal proofs 2

Age of computer science: resolution proof system

2021-01-19 : Lecture 6 - Substitutions and equivalences

2021-01-21 : Lecture 7 - Conjunctive normal forms

2021-01-30T10:30 (Saturday) : Quiz 1