CS 228 : Logic for computer science 2022
Instructors : Ashutosh Gupta and
Timings : 8:30 Monday, 9:30 Tuesday, 10:35 Thursday (Slot 1)
Venue : Online, MSTeams, To join the course team, use team code: 26vzr4x
For non gmail email addresses Append "iitb.ac.in" in the text inside the parenthesis
Optional tutorials :
- Text book: A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity - Shawn Hedman
- Logic in Computer Science: Modelling and Reasoning about Systems - Huth and Ryan
- SAT solvers: Handbook of Satisfiability (2009), chapter 4.1-4.4
- Course syllabus: Slides define the syllabus. Everything before the problem section in slides is in the syllabus. I may skip simple topics in the videos, where there is not much to explain. In terms of problems, you must solve tutorial problems. All the other problems are optional. Any new concept defined there is not part of the course. If the concept appears in the exam, we will redefine it in the question paper.
- We do not provide solutions of the problems that are not in the tutorials. We can discuss your approach with you. Some TAs may give you answer to some of the problems. It is their choice. However, they are not obligated to provide written detailed answer.
- Every week videos will be released by Sunday night
- No sessions on Mondays
- On Thursday 10:30, the instructor will do an interactive session for clearing doubts. If requested, we can also do a meeting on Tuesday.
- TAs will do a tutorial on a given set of problems at their chosen slot. Please discuss with your TA.
- On SAFE app students have to do a quiz every week. The quiz will remain available from Friday evening to Sunday night.
- Weekly quizzes: 15%
- Quizzes : 22.5% (3 quizzes)
- Programming : 7.5% (1 assignment)
- Midterm : 20% (2 hours)
- Final : 35% (3 hours)
May change later.
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
- You may have a sheet of paper with the rules of the formal proof system.
- You may also include the 8 derived rules from lecture 5.
- Nothing else should be on your sheet.
- Offline for on-campus students if allowed by the institute.
2022-02-17 Handover to Krishna (one lecture before midterm)
2018-02-19 : Midterm week