cse371, math371

LOGIC
Spring 2020



Course Information

News:

FINAL TEST SOLUTIONS posted

 COURSE FINAL GRADES POSTING

THE COURSE FINAL GRADES ARE NEVER POSTED on BLACKBOAD

THE COURSE FINAL GRADES ARE POSTED ONLY ON SOLAR
 THIS IS THE UNIVERTSITY RULE

Blackboard contains ONLY ALL POINTS AND TOTAL OF POINTS EARNED

Students can estimate their grades following the SYLLABUS and UPDATED SYLLABUS
 
THE RULES OF ASSIGNING the Letter Grades are well defined in the SYLLABUS and have been publicized from the DAY one of the semester

COURSES SYLLABUSES are LEGAL DOCUMENTS

FINAL  DATES CORRECTION

FINAL will be posted on MAY 17 and is due any day before or on MAY 19 (official FINAL date)

Practice Final SOLUTIONS are POSTED

 Practice Final GRADES will be posted in 2-3 days

You can submit your FINAL anytime before MAY 19
You will have  up to 3 attempts

MATERIAL for FINAL
STUDY all previous TEST and Quizzes
 I will give problems similar  (not identical ) to them
 I will also include simple questions about content (no PROBLEM) of CHAPTER 1
Make sure  you review/read it

PRACTICE FINAL posted on Blackboard  MAY 5 and is due any day before or on MAY 7 via Blackboard

Study GL SYSTEM Examples and  Completeness Theorem, do not need Hauptzatz Theorem
Lecture 6a: Gentzen Sequents System, Hauptzatz Theorem

Study  LI SYSTEM  for Intuitionistic Logic Examples and  Proof Search Heuristic
Lecture 7a: Gentzen Systems for Intuitionistic Logic

SOME  Chapters 4, 5, 6, 7 Exercises SOLUTIONS POSTED

STUDY PLAN  for the rest  of semester

WEEK  April 20 - 25 
Chapter 6 VIDEO:  Proof Systems RS, RS1, RS2 -  only  material included in  Lecture 6

WEEK  April 27 - 30 
Chapter 6 VIDEO:  Gentzen Proof Systems GL, LK, LI -  only material included in  Lecture 6a

WEEK  May 4 - 8
Chapter 7 VIDEO:  Intiduction to Intuitionistic Logic -  only material included in  Lecture 7
Chapter 7 VIDEO:  Gentzen System  LI for Intuitionistic Logic - only material included in  Lecture 7a

FINAL posted on Blackboard  MAY 12 and is due any day before or on MAY 19 via Blackboard

TAKE HOME TESTS POLICY

I KNOW that answers to SOME TESTS Questions CAN be found in the MATERIALS you have access to.
I DID IT because I wanted to encourage you and HELP you to study new MATERIAL in hard times
BUT YOU HAVE TO write your OWN solutions and to do it in such way as to make it VISIBLE to US (and yourself) that you really worked and you UNDERSTAND material you supposed to study
Straightforward copy of what was published and you have found in the the materials you have access to
will result in 0pts for the PROBLEM - as in any case of cheating

Q2  poste on Blackboard  APRIL 15 and is due  THURSDAY, APRIL 16 via Blackboard
Q2 
WILL HAVE 2-3 QUESTIONS AND ONE EXTRA CREDIT QUESTION

You are free to use te book, lectures, and all other material provided

Q
2
COVERS  MATERIAL FROM:

Lecture 4: General Proof Systems

Lecture 4a: Review Definitions and Problems

Lecture 5: Hilbert Proof Systems for Classical Logic, Deduction Theorem


 VIDEO LECTURES  slides POSTED

LOGIC LECTURES VIDEOS

NEW UPDATED SYLLABUS POSTED

NEW UPDATED TESTS SCHEDULE  POSTED

All test now are TAKE HOME TESTS

Midterm SOLUTIONS posted


Time

WE  HAVE NOW our LECTURES  YOUTUBE CHANEL

LOGIC LECTURES VIDEOS

Place

HOME

Professor

Anita Wasilewska

Office:  NCS Building;  Room 208

Phone: 632-8458

e-mail: anita@cs.stonybrook.edu

Professor Office Hours

e-mail only

New Computer Science Building room 208  phone: 2-8458

Teaching Assistants

TA: Xuan Xu

e-mail:  Xuan.Xu@stonybrook.edu
Office Hours: e-mail only
Office Location:   2217 Old CS Buildingng

TA: Debapriya Mukherjee

e-mail:  dmukherjee@cs.stonybrook.edu
Office Hours: e-mail only
Office Location:   2217 Old CS Building

ALL GRADES are listed on BLACKBOARD

Contact TAs if you need more information or need to talk about grading

We have very good TAs - please e-mail them  anytime when  you need help

Course Textbook

Anita Wasilewska

LOGICS FOR COMPUTER SCIENCE:  Classical and Non-Classical

Springer 2018

ISBN 978-3-319-92590-5             ISBN 978-3-319-92591-2 (e-book)

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

The course outcomes and catalog description are in the official course description page.

Course Goal

The goal of the course is to make student understand the need of, and to learn the formality of logic. The book, and the course is developed to teach not only intuitive understanding of different logics, but (and mainly) to teach formal logic as scientific subject, with its language, definitions and problems

Course Structure

I will progress relatively slowly, making sure that the pace is appropriate for the students in class. But it doesn't mean that you can just come to class and listen without doing work at home. You have to go over the text in proper chapters; in fact to go over and over again. The book is written with students on my mind so that they can read and learn by themselves, even before coming to class. For sure, it is also essential to study after the class.
There is no recitations, but I will cover some solutions to the course book homeworks assignments and held questions/answers sessions in class.  Students are also responsible to study chapters examples that are not included in Lectures. I may include them in Quizes and Tests.

Grading General Principles and Workload

Workload:
there will be  2 QUIZZES  (25 points each),  MIDTERM (75pts),  and   FINAL (75 pts)  examination
The consistency of your efforts and work is the most important for this course
There will be some extra credit problems as a part of quizzes and tests I will  also give a  PRACTICE FINAL for   20 extra point 

None of the grades will be curved

Final grade computation

You can earn up to 200 points + x extra points = 200+x points during the semester. The grade will be determined in the following way: number of earned points divided by 2 = % grade.
The % grade is translated into a letter grade in a standard way - see SYLLABUS for explanation

Quizzes and Tests Schedule

Q1 - Thursday February 20
MIDTEM :    Thursday,  March 12 
SPRING BREAK -  March  15 - 30

Q2  posted on Blackboard  APRIL 15 and is due  APRIL 16 via Blackboard

PRACTICE FINAL  - 
posted on Blackboard  MAY 5 and is due MAY 7 via Blackboard

FINAL - posted on Blackboard  MAY 17 and is due any day before or on  MAY19

DOWNLOADS

Final SOLUTIONS
 
UPDATED SYLLABUS
 
Practice Final SOLUTIONS
 
Q2 SOLUTIONS
 
MIDTERM SOLUTIONS
 
Q1 SOLUTIONS
 

Lectures Slides

COURSE GENERAL STRUCTURE and GOALS

Book Chapter 1: Introduction: Paradoxes and Puzzles

Lecture 1:  Logic Motivation: Paradoxes and Puzzles
Lecture 1a: Review: Some Definitions and Facts 

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: Review (1) Definitions and Problems
Lecture 3e: Tautologies, Equivalence of Languages, Review (2)

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
Lecture 6a: Gentzen Sequents System, Hauptzatz Theorem

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: Predicate Languages and Predicate Semantics 1
Lecture 8a: Predicate Languages and Predicate Semantics 2
Lecture 8b: Predicate Languages and Predicate Semantics 3

Book Chapter 9: Completeness and Deduction Theorem for Classical Predicate Logic

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: Formal Theories and Godel Theorems - an Introduction

VIDEO LECTURES  Slides

CHAPTER 1
CHAPTER 2  
CHAPTER 3
CHAPTER 4
CHAPTER 5
CHAPTER 6
CHAPTER 7
CHAPTER 9
CHAPTER 10
CHAPTER 11

SOME Chapters 4, 5, 6, 7 Exercises 

Exercise 1 Solutions
Exercise 2 Solutions
Exercise 3 Solutions
Exercise 4 Solutions
Exercise 5 Solutions
Exercise 6 Solutions
Exercise 7 Solutions
Exercise 8 Solutions
Exercise 10 Solutions
Exercise 11 Solutions

Some Previous Quizzes and Tests Solutions

MIDTERM 1 SOLUTIONS
PRACTICE 1 MIDTERM 
Q1 SOLUTIONS
Q2 SOLUTIONS

 Quizzes and Tests

Q1 Solutions
Q2 Solutions
Q3 Solutions
MIDTERM  Solutions
Q4 Solutions
Q5 Solutions
Q6 Solutions
Q7 Solutions

More Quizzes and Tests

Q1 Solutions
Q2 Solutions
Q3 Solutions
Q4 Solutions
MIDTERM  Solutions
Q5 Solutions
Q6 Solutions
  Review

SOME  ADDITIONAL BASIC DEFINITIONS and FACTS

Operations on Sets, Functions, Relations, Equivalence Relations

Order Relations, Lattices, Boolean Algebras
Cardinalities of Sets

CHALLENGE PROBLEMS

Problems on Sets and Cardinalities
Midterm Challenge Problem

ACADEMIC INTEGRITY STATEAMENT

Each student must pursue his or her academic goals honestly and be personally accountable for all submitted work. Representing another person's work as your own is always wrong. Any suspected instance of academic dishonesty will be reported to the Academic Judiciary. For more comprehensive information on academic integrity, including categories of academic dishonesty, please refer to the academic judiciary website at Academic Judiciary Website

Stony Brook University Syllabus Statement

If you have a physical, psychological, medical, or learning disability that may impact your course work, please contact Disability Support Services at (631) 632-6748 or Disability Support ServicesWebsite They will determine with you what accommodations are necessary and appropriate. All information and documentation is confidential. Students who require assistance during emergency evacuation are encouraged to discuss their needs with their professors and Disability Support Services. For procedures and information go to the following website: Disability Support Services Website