Cse371, Math371
LOGIC
Fall 2009



Course Information

News:


  • Solutions to Q3 are in Downloads
  • Next course slides (chapters 10-11) are in Downloads.
  • Next book chapters 10-11 will be soon in Downloads.



  • Time:

    TUESDAY, THURSDAY

    6:50 - 8:10 pm

    Place:

    Physics P117

    Professor:

    Anita Wasilewska

    Office: 1428 CS Building;

    Phone: 632-8458

    e-mail: anita@cs.sunysb.edu

    Office Hours:

    Tu, Th at 1:30 - 2:30 pm, and by appointments

    1428 CS Building

    Teaching Assistant:

    no TA

    Important

    There is no recitations, but I will cover solutions to homework assignments and held questions/answers sessions each week in class.

    Main Texbook

    Anita Wasilewska, An Introduction to Classical and Non-Classical Logics, SUNY, Stony Brook, 2007

    You have to purchase the book from our Undergraduate Secretary. Her office is located in the Computer Science Building on the first floor, just in front of the entrance to the Department.

    Additional Book

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

    You can also read any other Logic book.

    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

    Quizzes and Tests Schedule:

  • Quiz 1, Tuesday, September 22
  • Yom Kippur break: September 29, Tuesday - no class
  • Quiz 2, Tuesday, October 12.
  • PRACTICE MIDTERM, THURSDAY, October 14, in class. Solutions will be pout on Web the same day. It is an OPEN book test
  • Midterm Review: Tuesday October 20
  • MIDTERM, Thursday, OCTOBER 22, in class. IT IS A CLOSED BOOK TEST.
  • Quiz 3, Tuesday, November 10
  • Thanksgiving Break: November 25 -29. No class on Thursday, November 26
  • Quiz 4, Tuesday, December 8.
  • PRACTICE FINAL will be posted on December 3.
  • STUDY, write your own solutions.
  • I will post Solutions on December 8.
  • FINAL is a take home test, posted on December 10, due on the day of official FINAL, or any day before.
  • DOWNLOADS

    Syllabus

    Sample and Practice Quizzes

    Sample Q1
    Practice Q1
    Practice Q2
    Practice Q3
    Practice Q4

    Solutions

    Sample Q1 Solutions
    Practice Q1 Solutions
    SLIDES of Practice Q1 Solutions
    Q1 Solutions
    Practice Q2 Solutions
    Q2 Solutions
    Practice MIDTERM Solutions
    MIDTERM Solutions
    Practice Q3 Solutions
    Q3 Solutions
    Practice Q4 Solutions
    PRACTICE FINAL Solutions
    Q4 Solutions

    Book Slides

    Chapter 1 Slides
    Chapter 2 Slides
    Chapter 3 Slides
    Chapter 4 Slides
    Chapter 5: Some Three Valued Logics Slides
    Chapter 6, part 1: Propositional Tautologies Examples Slides
    Chapter 6, part 2: Definability of Connectives, Languages Equivalence Slides
    Chapter 5, 6 Examples Slides
    Chapter 7: General Proof Systems Slides
    Chapter 8: Hilbert Proof Systems; Deduction Theorem Slides
    Chapter 8: Formal Proofs Examples SLides
    Chapter 8: Proof of Deduction Theorem Slides
    Chapter 9, Part 1: Proof 1 of Completeness Theorem Slides
    Chapter 10, Introduction to Intuitionistic Logic, Part 1
    Chapter 10, Introduction ti Intuitionistic Logic, Part 2
    Chapter 11, Automated Proof Systems, Part 1: System RS

    Book Chapters

    Chapters 1,2, and 3
    Chapter 4
    Chapter 5 Some Three Valued Logics
    Chapter 6 Classical Tautologies and Logical Equivalences
    Chapter 7 General Proof Systems
    Chapter 8 Hilbert Proof Systems, Deduction Theorem
    Chapter 9 Completeness Theorem