LOGIC

Fall 2017

**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, **

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

** **

Office: NCS Building; Room 208

Phone: 632-8458

e-mail: anita@cs.stonybrook.edu

Please e-mail the professor with serious concerns only

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

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

LOGICS FOR
COMPUTER SCIENCE: Classical and Non-Classical

Anita Wasilewska

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

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.

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

Book Chapter 2: Introduction to Classical Logic

Book Chapter 3: Propositional Semantics: Classical and Many Valued

Book Chapter 5: Hilbert Proof Systems: Completeness of Classical Propositional Logic

Book Chapter 6: Automated Proof Systems for Classical Propositional Logic

Book Chapter 7: Introduction to Intuitioniostic and Modal Logics

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

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

Book Chapter 10: Predicate Automated Proof Systems

Book Chapter 11: Classical Formal Theories: Consistency and Completeness