CS 228 : Logic for computer science 2020

Instructors : Ashutosh Gupta and S. Krishna

Timings : 8:30 Monday, 9:30 Tuesday, 10:35 Thursday
Venue : CC103
TAs : Riya Baviskar(170050011@), Kalyani Dole (163050022@), Tuppe Omkar Vijaykumar (omkarvtuppe@cse.), Anuj Diwan (anujdiwan@cse.), Aneesh Shetty(a3grand _at_ gmail.com), Jatin Lamba (170050039.iitb _at_ gmail.com )
For non gmail email addresses Append "iitb.ac.in" in the text inside the parenthesis
Optional tutorials :

Source material

Evaluation structure

May change later.

Attendance URL
View status of attendance

Tutorial problems

Lectures

Age of philosophy: propositional logic

2020-01-13 : Lecture 1 - Introduction

2020-01-14 : Lecture 2 - Propositional logic, syntax

2020-01-16 : Lecture 3 - Semantics and Truth tables

Age of mathematics: formal proofs

2020-01-20 : Lecture 4 - Formal proofs

2020-01-21 : Lecture 5 - Formal proofs 2

Age of computer science: resolution proof system

2020-01-23 : Lecture 6 - Substitutions and equivalences

2020-01-27 : Lecture 7 - Conjunctive normal forms

2020-01-28 : Lecture 8 - Low complexity SAT

2020-01-29T08:30 (Wednesday) : Quiz 1@CC101,103,105

2020-01-30 : Lecture 9 - Resolution

2020-02-03 : Lecture 10 - Resolution completeness

Age of hacker : SAT solvers

2020-02-04 : Lecture 11 - SAT solvers

2020-02-06 : Lecture 12 - SAT encoding

2020-02-08 (Saturday): Lecture 13 - Lab SAT solver

First-Order Logic (FOL)

2020-02-10 : Lecture 14 - First-order logic - syntax

2020-02-11 : Lecture 15 - First-order logic - semantics

2020-02-13 : Lecture 16 - Understanding FOL

2020-02-15T(Saturday) : Quiz 2 @ SAT Solvers

2020-02-17 : Lecture 17 - Formal proofs

2020-02-18 : Lecture 18 - Unification

Attendance hacking challenge!

2020-02-20 : Lecture 19 - FOL CNF

2018-02-24 : Midterm week

2020-03-02 : Lecture 20 - FOL Resolution

Lectures 21+

Lectures from 2020-03-03