Practice Final Solutions posted
Q2 Solutions posted
MIDTERM SOLUTIONS posted
Examples of SOLUTIONS of past
MIDTERMS POSTED
Q1 SOLUTIONS POSTED
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
Professor Anita Wasilewska You can get the book in Hard cover, or in Electronic
form
Springer also has an option of providing you with
chapters of your choice
Here is my manuscript of the BOOK for you to use
My Logic BookPreliminary STUDY PLAN
WEEK
1: August 22 - 28
Class Lecures: Lecture 0 - in
class, Lecture 1 -
reading and Video,
Lecture 2 - in class
Chapter 1 VIDEO: Introduction: Paradoxes and
Puzzles
Chapter 2 VIDEO: Introduction to Classical
Logic
WEEK 2: August 29 - September 4
Class Lectures: Lecture 2a, Lecture 2b
Chapter 2 VIDEO: Introduction
to
Classical Logic
WEEK 3: September 5 - September 11
Chapter 3 VIDEO: :
Propositional Semantics: Classical and Many Valued-
material included in Class Lectures 3, 3a, 3b
WEEK 4: September 12 - September 18
Chapter 3 VIDEO: :
Propositional Semantics: Classical and Many Valued-
material included in Class Lectures 3c, 3d
WEEK 5: September 19 - September 25
Chapter 3 VIDEO: :
Propositional Semantics: Classical and Many Valued-
material included in Class Lectures 3e
WEEK 6: September 26 - October 2 Q1 Tuesday, September 27
Chapter 4 VIDEO: :
General Proof Systems - material included in
Class Lectures 4, 4a
WEEK 7: October 3 - October 9
Chapter 5 VIDEO: :
Hilbert Proof Systems for Classical Propositional
Logic - material included in Class Lecture 5
WEEK 8: October 10 - October 16 Fall Break October 10-11
Chapter 5 VIDEO: :
Hilbert Proof Systems for Classical Propositional
Logic - material included in Class Lecture 5a
WEEK 9: October 17 - October 23 MIDTERM October 20
Chapter 5 VIDEO: :
Hilbert Proof Systems for Classical Propositional
Logic - material included in Class Lecture 5b
WEEK 10: October 24 - October 30
Chapter 6 VIDEO: :
Automated Proof Systems for Classical Propositional
Logic - Class Lectures 6, 6a
WEEK 11: Octiber 31- November 6
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: November 7- November 13
Chapter 10 VIDEO:
Predicate Automated Proof Systems - QRS Proof System
- Class Lecture 10
WEEK
13: November 14 - November 20 Q2 Thursday, November 17
Chapter 10 VIDEO:
Predicate Automated Proof Systems - Skolemization and
Resolution Clauses - Class Lecture 10
WEEK
14: November 15 - November 21 Thanksgiving Break November 23 -27
Chapter 11 VIDEO: Hilbert
Program, Godel Incompleteness Theorems - Class Lecture
11 Part 1: Formal Theories
WEEK
15: November 28 - December 4 Practice Final
posted November 29 due December 1
Chapter 11 VIDEO: Hilbert
Program, Godel Incompleteness Theorems - Class Lecture
11
WE DO NOT GIVE MAKE-UP TESTS
Quizzes: 50pts
2 quizzes, 25 points each
Midterm: 75pts
Midterm will covers material from Q1 and material
covered after Q1 in class before Midterm
Practice Final: 15
extra pts
Final:
75pts
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