Cse371, Math371
LOGIC
Fall 2017



Course Information

News:

Extra Credit PRACTICE Midterm 2  SOLUTIONS are  POSTED
Lecture 10a and Lecture 11 posted

MIDTERM 2 is given in Wednesday, December 6 in class
Midterm 2 covers  material from Q2 and Q3, 
PRACTICE Midterm 2, chapters 6, 7 and part of chapter 10
  Q3 solutions:  examples in Lecture 10 and Lecture 10a

REMINDER:  Midterm 2 is the last test - there is no  FINAL!

SEE YOU ALL WEDNESDAY!
and THANK YOU ALL for being my STUDENTS

MIDTERM 1 Solutions POSTED

Q2 Solutions Posted

HAPPY THANKSGIVING TO ALL!

 
ADAM CATO
will have EXTRA office hours:
Tuesdays and Wednesdays 8:45 am - 10:45 am

Time

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

Place

LGT Eng  102

Professor

Anita Wasilewska

Office:  NCS Building;  Room 208

Phone: 632-8458

e-mail: anita@cs.stonybrook.edu

Please e-mail the professor with serious concerns only

Professor Office Hours

Monday,  Wednesday   1:15pm - 2:00 pm and by appointment

New Computer Science Building room 208  telephone: 2-8458.

Teaching Assistants


  • TA1: NOUSHIN SALEK FARAMARZI
  • TA e-mail: noushin.salekfaramarzi@stonybrook.edu
  • Office hours: THURSDAY 2:00 - 3:30 pm and by appointment
  • Office Location: Old Computer Science building room 2203
  • TA1: NOUSHIN KEEPS all students records; contact HIM when you have questions about your records
  • and of course when you have problem with solving problems

  • TA2: ADAM CATTO
  • TA e-mail: adam.catto@stonybrook.edu
  • Office hours: TUESDAY 2:00 - 3:30 pm and by appointment
  • Office Location: Old Computer Science building room 2203
  • EXTRA HOURS: Tuesdays and Wednesdays 8:45 am- 10:45 am


  • TA2: ADAM CATTO will HELP you solve ANY Logic problem you need help with
  • Come to see him, write e-mails, ask questions
  • Main Textbook

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

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

     Book chapters are in DOWNLOADS following  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, CALIFORNIA
  • 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 at least  2 quizzes (25 points each),  2 midterrms (75 points each),  and   no final 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 might also give some additional Quizzes 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
  • It is a preliminary Schedule-   the NEW SCHEDULE, if needed will be published  in  the NEWS section

  • Q1 - MONDAY, October 9
  • MIDTEM 1:    Wednesday , October 25  in class
  • Q2 - Wednesday, November 15
  • THANKSGIVING BREAK - November 22 - 26
  • Q3- Wednesdy, November 29 - Extra Credit
  • Review:   Monday, December 4  
  • MIDTERM 2:   Wednesday,  December 6
  • DOWNLOADS

    PRACTICE MIDTERM 2 SOLUTIONS

    PRACTICE MIDTERM 2 - due Monday, December 4 in class

    MIDTERM 1 SOLUTIONS

    PRACTICE MIDTERM 1

    Q1 SOLUTIONS

    Q2 SOLUTIONS

    Syllabus

    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
    Lecture 3b : Some Extensional Many Valued Semantice
    Lecture 3c: Review (1) Definitions and Problems
    Lecture 3d: Tautologies, Equivalence of Languages, Review (2)

    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

    Book Chapter 8: Classical Predicate Languages, Semantics, and Proof Systems

    Lecture 8: Predicate Languages Formal Definition

    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



    SHORT TEST on Predicate LOGIC 

    Some Previous Quizzes and Tests 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

    OLD BOOK CHAPTERS

    Chapter 1:Paradoxes and Puzzles
    Chapter 2: Indroduction to Classical Logic Languages and Semantics
    Chapter 3: Propositional Languages
    Chapter 4: Classical Propositional Semantics
    Chapter 5: Some Extensional Multivalued Semantics
    Chapter 6: Classical Tautologies and Logical Equivalences
    Chapter 7: General Proof Systems
    Chapter 8: Hilbert Proof Systems, Deduction Theorem
    Chapter 9 Propositional Logic Completeness Theorem - NEW
    Chapter 10: Gentzen Style Proof Systems for Classical Logic
    Chapter 11: Introduction to Intuitionistic Logic
    Chapter 12: Gentzen Proof System for Intuitionistic Logic
    Chapter 13: Predicate languages
    Chapter 13, Part 1: System QRS Definition and Examples
    Chapter 13, Part 2: System QRS Completeness
    Chapter 14, Part 1: Hilbert System for Predicate Logic
    Chapter 14, Part 2: Hilbert System for Predicate Logic

    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