Cse371, Math371
LOGIC
Fall 2008


Course Information

News:


  • Solutions to Q4 in Downloads
  • TAKE HOME FINAL is in Downloads. Final is due on, or any day before the scheduled day for FINAL.


    • Time:

    TUESDAY, THURSDAY

    5:20 - 6:40 pm

    Place:

    Heavy Eng. LAb. 201

    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 23.
  • Quiz 2, Tuesday, October 14.
  • PRACTICE MIDTERM, Tuesday, October 21, in class. It is an OPEN BOOK test.
  • MIDTERM, Thursday, OCTOBER 23, in class. IT IS A CLOSED BOOK TEST.
  • Quiz 3, Tuesday, November 11
  • Quiz 4, Tuesday, December 9.
  • PRACTICE FINAL will be posted on December 4.
  • STUDY, write your own solutions.
  • I will post Solutions on December 9.
  • FINAL is a take home test, posted on December 11, 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
    PRACTICE FINAL
    TAKE HOME FINAL

    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

    Slides

    Chapter 1 Slides
    Chapter 2 Slides
    Chapter 3 Slides
    Chapter 4 Slides
    Chapter 5: Some Three Valued Logics Slides
    Chapter 6: Propositional Tautologies Examples Slides
    Chapter 6: Definability of Connectives, Languages Equivalence Slides
    Chapter 7: General Proof Systems Slides
    Chapter 8: Hilbert Proof Systems; Deduction Theorem (1) Slides

    Lecture Notes

    Chapters 1,2, and 3
    Chapter 4
    Chapter 5 Some Three Valued Logics
    Chapter 6 Classical Tautologies and Logical Equivalences