FINAL - December 13, 11:15am
- 1:45pm in the classroom
Practice Final SOLUTIONS posted
MIDTERM SOLUTIONS posted
Midterm Return and Consultation Week is October 24-29
Details are posted on Blackboard and mailed to all
students
MIDTERM TUESDAY,
OCTOBER 19, 3:00pm in Class
Q1 SOLUTIONS POSTED
Q1 Return and Consultation Week is September 26-30
Details are posted on Blackboard and
Mailed to all Students
Q1 Thursday, September 22
TAs Office
Hours POSTED on Blackboard
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 Office Hours
Short questions via email any time TAs Office
Hours are posted and
updated on BLACKBOARD
and mailed to all studnets
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 BookThe course outcomes and catalog description are in the official course description page.
Preliminary 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 2, Lecture 2a
Chapter 2 VIDEO: Introduction
to Classical Logic
WEEK 3: September 5 - September 11
Class Lectures: Lecture 2a, Lecture 2b
Chapter 2 VIDEO: Introduction
to Classical Logic
WEEK 4: September 12 -
September 18
Class Lectures: Lecture 3, Lecture 3a
Chapter 3 VIDEO :
Propositional Semantics:
Classical and Many Valued
WEEK 5: September 19 - September
25 Q1 Thursday, September
22
Class Lectures: Lecture 3a, Lecture 3b
Chapter 3 VIDEO: Propositional Semantics: Classical and
Many Valued
WEEK 6: September 26 - October
2
Class Lectures: Lecture
3b, Lecture 3c
Chapter 3 VIDEO: Propositional
Semantics: Classical and Many Valued
WEEK 7: October 3 - October 9
Class Lectures: Lecture 3e, Lecture 3d
Chapter 3 VIDEO: Propositional
Semantics: Classical and Many Valued
WEEK 8: October 10 - October 16 Fall Break October 10-11
Class Lectures: Lecture 3d, Lecture 3e
Chapter 3 VIDEO: Propositional
Semantics: Classical and Many Valued
WEEK 9: October 17 - October 23 MIDTERM Tuesday, October 18
Class Lectures: Lecture 4
Chapter 4 VIDEO:
General Proof Systems
WEEK 10: October 24 - October 30
Class Lectures: Lecture 5, Lecture 5a
Chapter 5 VIDEO: Hilbert
Proof Systems, Completeness of Classical Propositional Logic
WEEK 11: October 31 - November 6
Class Lectures: Lecture 6
Chapter 6 VIDEO: Automated
Proof Systems
WEEK 12: November 7 - November 13
Class Lectures: Lecture 6, Lecture 6a
Chapter 6 VIDEO:
Automated Proof Systems
WEEK 13: November 14 - November 20 Q2 Thursday, November 17
Class Lectures: Lecture 6, Lecture 6a
Chapter 6 VIDEO:
Automated Proof Systems
WEEK 14: November 21 - November 27 Thanksgiving Break November 23 - 27
Class Lectures: Lecture 7
Chapter 7 VIDEO:
Introduction to Intuitionistic and Modal Logics
WEEK 15: November 28 - December 4
Class Lectures: Lecture 11
Chapter 11 VIDEO:
Hilbert Program and Godel Incompleteness
Theorem
Book Chapter 1: Introduction: Paradoxes and Puzzles
Lecture 1: Logic Motivation:
Paradoxes and Puzzles; Chapter1
Review
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 : Many Valued Semantic:
Lukasiewicz, Heyting, Kleene, Bohvars
Lecture 3c : Extensional Semantics
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
Axiomatization
Book Chapter 10: Predicate Automated Proof Systems
Lecture 10: Predicate Languages,
QRS-Automated Proof System for Classical Predicate Logic
Lecture 10a: Proof of Completeness
Theorem for QRS
Book Chapter 11: Classical Formal Theories: Consistency
and Completeness
Lecture 11: Hilbert Program, Godel
Incompleteness Theorems