EQ1 - February 13 Extra Credit
EQ1 covers chapter
2, chapter 3 Lecture 3, chapter 8 Lecture 8
Q2 - February 27 regular
WE HAVE our own
LOGIC LECTURES
YOUTUBE CHANEL
LOGIC,
Theory of Computation
208 New CS Building
phone: (631) 632-8458
e-mail: anita@cs.stonybrook.edu
TAs Office Hours are posted and
updated on BRIGHTSPACE
You can get the book in Hard cover, or in Electronic form.
Springer has an option of providing you with chapters of
your choice
Here is a copy of the MY BOOK for you to use. Please
read the relevant chapters before and after the
LECTURES.
Study Examples and Problems solutions - you need
to know them all for your TESTS.
Preliminary STUDY PLAN
WEEK 1:
January 27-31
Class Lecures: Lecture 0,1 - in class
Lecture 2 - in class
Chapter 1 VIDEO: Introduction: Paradoxes and Puzzles
Chapter 2 VIDEO: Introduction to Classical
Logic
WEEK 2: February 3 - 7
Class Lectures: Lecture 2a, Lecture 2b
Chapter 2 VIDEO: Introduction
to
Classical Logic
WEEK 3: February 10 - 13 EQ1 February 13
extra credit
Class Lectures: Lexture 3, 3a
Chapter 3 VIDEO: :
Propositional Semantics: Classical and Many Valued
WEEK 4:
Chapter 3 VIDEO: :
Propositional Semantics: Classical and Many Valued-
material included in Class Lectures 3c, 3d
WEEK 5:
Chapter 3 VIDEO: :
Propositional Semantics: Classical and Many Valued-
material included in Class Lectures 3e
WEEK 6:
Chapter 4 VIDEO: : General
Proof Systems - material included in Class Lectures
4, 4a
WEEK 7:
Chapter 5 VIDEO: : Hilbert
Proof Systems for Classical Propositional Logic -
material included in Class Lecture 5
WEEK 8:
Chapter 5 VIDEO: : Hilbert
Proof Systems for Classical Propositional Logic -
material included in Class Lecture 5a
WEEK 9:
Chapter 5 VIDEO: : Hilbert
Proof Systems for Classical Propositional Logic -
material included in Class Lecture 5b
WEEK 10:
Chapter 6 VIDEO: :
Automated Proof Systems for Classical Propositional Logic
- Class Lectures 6, 6a
WEEK 11:
Chapter 6 VIDEO: :
Automated Proof Systems for Classical Propositional Logic
- Class Lectures 6a, 6b
Chapter 7 VIDEO:
Introduction to Intuitionistic and Modal Logics -
Class Lecture 7b
WEEK 12:
Chapter 10 VIDEO:
Predicate Automated Proof Systems - QRS Proof System -
Class Lecture 10
WEEK
13:
Chapter 10 VIDEO:
Predicate Automated Proof Systems - Skolemization and
Resolution Clauses - Class Lecture 10
WEEK
14:
Chapter 11 VIDEO: Hilbert
Program, Godel Incompleteness Theorems - Class Lecture
11 Part 1: Formal Theories
WEEK
15:
Chapter 11 VIDEO: Hilbert
Program, Godel Incompleteness Theorems - Class Lecture
11
Book Chapter 1: Introduction: Paradoxes and Puzzles
Lecture 1: Logic Motivation: Paradoxes
and Puzzles
Book Chapter 2: Introduction to Classical Logic
Lecture 2: Propositional Language and
Semantics
Lecture 2a: Predicate Language and
Semantics
Lecture 2b: Chapter 2 Review
Book Chapter 3: Propositional Semantics: Classical and Many
Valued
Lecture 3: Formal Propositional Languages
Lecture 3a: Classical Propositional
Semantics
Lecture 3b : Extensional Semantic
Lecture 3c : Many Valued Semantic:
Lukasiewicz, Heyting, Kleene, Bohvar
Lecture 3d: Tautologies, Equivalence of
Languages
Lecture 3e:Chapter 3 Review
Book Chapter 4: General Proof Systems: Syntax and Semantics
Lecture 4: General Proof Systems
Lecture 4a: Review Definitions and Problems
Book Chapter 5: Hilbert Proof Systems: Completeness of
Classical Propositional Logic
Lecture 5: Hilbert Proof Systems for
Classical Logic, Deduction Theorem
Lecture 5a: Completeness Theorem Proof 1
Lecture 5b: Completeness Theorem Proof 2
Book Chapter 6: Automated Proof Systems for Classical Propositional Logic
Lecture 6: RS Systems Book Chapter 7: Introduction to Intuitioniostic and Modal
Logics
Lecture 7; Introduction to
Intuitionistic Logic
Lecture 7a: Gentzen Systems for
Intuitionistic Logic
Lecture 7b: Introduction to Modal Logics S4
and S5
Book Chapter 8: Classical Predicate Languages, Semantics, and
Proof Systems
Lecture 8: Formal Predicate Languages
Lecture 8a:Classical Semantic
Lecture 8b: Predicate Tautologies
Book Chapter 9: Completeness and Deduction Theorem for
Classical Predicate Logic
Lecture 9:Reduction Predicate Logic to
Propositional
Lecture 9a: Henkin Method
Lecture 9b: Proof of Completeness Theorem
Lecture 9c:Deduction Theorem, Other
Axiomatizations
Book Chapter 10: Predicate Automated Proof Systems
Lecture 10: QRS-Automated Proof System for
Classical Predicate Logic
Lecture 10a: Skolemization and Resolution
Clauses
Book Chapter 11: Formal Theories and Godel Theorems
Lecture 11: Hilbert Program, Godel
Incompleteness Theorems