**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** :

- TBA

- A First Course in Logic, An Introduction to Model Theory, Proof Theory, Computability, and Complexity
- SAT solvers: Handbook of Satisfiability (2009), chapter 4.1-4.4

- Every week videos will be released by Sunday night
- No sessions on Mondays
- On Tuesday 9:30, the instructor will do an interactive session for clearing doubts.
- On Thursday 10:30, TAs will do a tutorial on a given set of problems.
- On SAFE app students have to do a quiz. The quiz will remain available from Thursday 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.

- Ashutosh slides
- Video: 1.1 Why study logic?, 1.3 Course plan first half, Krishna: Intro to the second half.

- 2.1Variables, Connectives, 2.2 Puzzle modeling, 2.3 Parsing 2.4 Shorthands,
- slides
- Video: 2.1 PL syntax, 2.2 Puzzle modling, 2.3 Parsing. 2.4 Shorthands.
- Tutorial problems: 2.5 and 2.6

- 3.1 Semantics, 3.2 satisfiability problem, 3.3 truth table, 3.4 expressive power
- Video: 3.1 Semantics, 3.2-3 SAT problem and truth table, 3.4 expressive power.
- slides
- Tutorial problems: 3.13, 3.15, and 3.22

- 4.1 formal proofs derivations, 4.2 more proof rules, and 4.3 soundness of proof system
- Video: 4.1 Formal proofs, 4.2 More rules , 4.3 Soundness.
- slides
- Tutorial problems: 4.2 and 4.3

- 5.1-2 derived rules, 5.3 substitutions in formal proofs
- Video: 5.1 Derived rules, 5.2 More derived rules , 5.3 Substitutions in formal proofs.
- slides
- Tutorial problems: 5.4

- 6.2 Substitution theorem, 6.3 equivalences(simple topic; no video)
- slides
- Video: 6.2 Substitution theorems,
- Tutorial problems: 6.10 and 6.13

- 7.1 Negation normal form, and 7.3 conjunctive normal forms
- 7.3 Tseitin's encoding, Disjunction normal forms
- Video: 7.1 NNF, 7.2 CNF, 7.3 Tseitens encoding
- slides
- Tutorial problems: 7.10 and 7.16