Cse371, Math371

LOGIC
Fall 2018



Course Information

News:

LAST CLASS   Monday, December 10

Q2  SOLUTIONS POSTED

FINAL  -  December 17,  5:30 pm- 8pm,  IN the CLASSROOM

FINAL covers Problems from Q1, Q2, Midterm, Extra Midterm, and Makup Midterm 

I posted Extra and Makeup Midterms for you to study

THERE IS NO PRACTICE FINAL

  But here is an extra credit SHORT TEST on PREDICATE LOGIC

SHORT TEST on Predicate LOGIC

BRING IT to class on MONDAY or to class on the day of the FINAL

or e-mail it to TA


Q2 covers Decomposition Trees Definition,
Strong Soundness and Constructive Completeness proofs for   RS type systems and Gentzen G System,
Classical and Intuitionistic Gentzen (will give you the rules) proof search examples

I will give  give you  EXTRA MIDTERM on Monday,  November 19
Final Midterm score will be the average of the scores of the two tests
  EXTRA MIDTERM is voluntary
You can keep your Midterm score you already have if you wish

 

CHAPTER 7 Lectures POSTED
Midterm Solutions Posted


Time

MONDAY,  WEDNESDAY    5:30 pm - 6:50 pm

Place

Mellville LIBR E4320

Professor

Anita Wasilewska

Office:  NCS Building;  Room 208

Phone: 632-8458

e-mail: anita@cs.stonybrook.edu

Professor Office Hours

Monday,  Wednesday   12:40 pm - 2:00 pm,  Wesnesday  7:10pm - 8pm,  and by appointment

New Computer Science Building room 208  phone: 2-8458

Teaching Assistants

ALL GRADES are listed on BLACKBOARD
Contact TAs if you need more information or need to talk about grading
We will list names who is correcting which  part of the test when you take them

We have very good TAs - please e-mail them, go to see them anytime  you need help

TA: Rahul Verma

e-mail:  rahul.verma@stonybrook.edu
Office Hours: Tuesday, Thursady,  10:00 am -  11:00 am
Office Location:   2217 Old CS Building

TA: Thu Nguyen

e-mail:   ttnnguyen@cs.stonybrook.edu
Office Hours: Monday 10am -12:00 am
Office Location:   2217 Old CS Building

TA: Moshe Dinowitz

e-mail: modinowitz@gmail.com
Office Hours: Tuesday, Thursday, 6:00 pm - 7:00 pm
Office Location:   2217 Old CS Building

TA: Timothy John

e-mail:  timothy.john@stonybrook.edu
Office Hours: Monday, 7:30 am - 8:30am and 7:30 pm - 8:30 pm
Office Location:   2217 Old CS Building


Main Textbook

LOGICS FOR COMPUTER SCIENCE:  Classical and Non-Classical
Anita Wasilewska

 The book is under contract with SPRINGER to be published in Spring 2019

 Book chapters are in DOWNLOADS following by   respective Lectures Slides 

Lectures follow the Textbook  chapter by chapter- so read the  chapters.
Chapters EXTEND the Lecture Notes and  contain hundreds of Examples, Exercises with solutions and Homework problems

Additional Books

Introduction to Mathematical Logic, Fourth Edition, Elliot Mendelson
Wadsworth&Brooks/Cole Advanced Books &Software, PACIFIC GROVE, CA

C.C. Leary, A Friendly Introduction to Mathematical Logic
 Printice Hall, 2000

You can also read any other Logic book you find in the Library

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. I will progress relatively slowly, making sure that the pace is appropriate for the undergraduate 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 essential to study after the class. 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

Grading General Principles and Workload

Workload:
there will be  2 quizzes (25 points each),  Midterrm,  and   FINAL (75 points each )& 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 extra credit

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:

All quizzes and tests are CLOSED book (and phones)
It is a preliminary Schedule-   the NEW SCHEDULE, if needed will be published  in  the NEWS section

Q1 - Wednesday,  October 3
FALL BREAK - October 8 - 9
MIDTEM:    Wednesday, October 31  in class
THANKSGIVING BREAK - November 21 - 25
Q2  - 
Wednesday, December 5  
PRACTICE FINAL (extra credit):    Monday,  December 10
FINAL  -  December 17, 5:30 pm- 8pm


DOWNLOADS

MIDTERM SOLUTIONS
Q1 SOLUTIONS
Q2 SOLUTIONS
Midterm Makup
Extra Midterm

Syllabus
Course and Book Goals and Tasks

Book Chapters and Lectures Slides

Book Chapter 1: Paradoxes and Puzzles

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

Book Chapter 2: Introduction to Classical Logic

Lecture 2a: Propositional Language and Semantics
Lecture 2b: Predicate Language and Semantics

Book Chapter 3: Propositional Semantics: Classical and Many Valued

Lecture 3: Formal Propositional Languages
Lecture 3a: Classical Propositional Semantics (NEW)
Lecture 3b : Extensional Semantics (NEW)
Lecture 3c : Many Valued Semantic: Lukasiewicz, Heyting, Kleene, Bohvars (NEW)
Lecture 3d: Review (1) Definitions and Problems
Lecture 3e: Tautologies, Equivalence of Languages, Review (2)
Chapter 2 Review (NEW)

Book Chapter 4: General Proof Systems: Syntax and Semantics

Lecture 4 - General Proof Systems
Lecture 4a - Review

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



Some Previous Quizzes and Tests Solutions

2017 Quizzes and Tests

PRACTICE MIDTERM 2 SOLUTIONS
PRACTICE MIDTERM 2
MIDTERM 1 SOLUTIONS
PRACTICE MIDTERM 1
Q1 SOLUTIONS
Q2 SOLUTIONS

2016 Quizzes and Tests

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

2015 Quizzes and Tests

Q1 Solutions
Q2 Solutions
Q3 Solutions
Q4 Solutions
MIDTERM 1 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
  • MIDTEM 1:    Wednesday , October 19  in class