LOGIC for COMPUTER SCIENCE

Spring 2015

I will have extra office hours on FRIDAY, MAY 15, 3-5pm

I POSTED a short Test on Introduction to Predicate Logic I gave during the last class

Study also Lectures on the Introduction to Predicate Logic and QRS System

IMPORTANT REMINDER ABOUT FINAL GRADE COMPUTATION

1. BY THE COURSE Syllabus you can get

your grade in the course

2. I GAVE MUCH MORE EXTRA POINTS WORK DURING THE SEMESTER!

3. I DECIDED (it is also stated in the Syllabus) to ALLOW additional 20pts, i.e. to allow a total of

5. It means that the highest grade you can obtained by use of extra points above

Lecture 13- QRS proof system for Predicate Logic is POSTED

This material will be included in FINAL

PRACTICE MIDTERM 2 SOLUTIONS are POSTED

PRACTICE MIDTERM 2 TEST is POSTED

I also posted TWO SOLUTIONS of Lecture 9 problems written by 2 students (THANK You guys!)

Read and COMPARE them

MIDTERM 2: Tuesday, April 28 in class

Study PROOF ONE of Completeness Theorem proof and Examples

For extra Tests, Problems examples please look at cse371 webpage

http://www3.cs.stonybrook.edu/~cse371/

1428 CS Building; 632-8458

e-mail: anita@cs.stonybrook.edu

Office Hours: Tuesday, Thursday, 11:30am - 12:30 pm, and by
appointment

e-mail: tba

Office Hours: tba

Office Location: Room 2110, CS department.

AN INTRODUCTION TO CLASSICAL and NON-CLASSICAL LOGICS

Anita Wasilewska

This is a book in progress

Full Book Text and Lecture Slides are in Downloads

Introduction to Mathematical Logic, Fourth Edition

Elliot Mendelson

There will be TWO MIDTERMS and a FINAL examination.

There also will be assigned sets of homework problems students
must work out and learn for the tests. The complete solutions to
all problems are posted on the course webpage.

Students are also responsible to learn all Examples and Exercises
in the text book and some PROOFS of the main Theorems.

All tests are **CLOSED NOTES** and **CLOSED BOOK**.

If a student is found using notes or a book during a test, he/she
will receive **AUTOMATICALLY 0pts** for a given test.

There are many exercises-homeworks sets posted on the web. NONE
will be collected or graded.

Students are responsible for working out and writing DETAILED
solutions explaining all steps and methods used, as it is done in
our book. We will cover some of such detailed solutions in class
and post ALL of them on our web page for you to study and learn
how to properly write them. Students are also responsible to learn
and work out all Examples, Exercises and Homeworks in the text
book as well as some PROOFS of the main Theorems.

Your GRADES on the tests will depend on the form, attention to
details, and carefulness of your written solutions.

The course will follow the book very closely and in particular
we will cover some, or all of the following chapters and subjects.

Chapter 1: Introduction: Mathematical Paradoxes and Computer
Science Puzzles

Chapter 2: Introduction to Classical Propositional Logic

Chapter 3: Propositional Languages

Chapter 4: Classical Propositional Semantics

Chapter 5: Some Extentional Three and Many Valued Logics
Semantics

Chapter 6: Classical tautologies, Logical Equivalences and Equivalences of Languages

Chapter 7: General Proof Systems

Chapter 8: Hilbert Proof Systems; Deduction Theorem

Chapter 9: Two Proofs of Propositional Classical Logic Completeness Theorem

Chapter 10: Classical Automated Proof systems: RS and original Gentzen

Chapter 11: Introduction to Intuitionistic Logic; Conections between Classical and Intuitionistic Logics.

Chapter 12: Gentzen Proof System for Intuitionistic Logic.

Chapter 13: Classical Predicate Logic: Hilbert Formalization

Chapter 14: Classical Predicate Logic: Automated Proof System QRS

Chapter 15: Hilbert and Gentzen Proof Systems for Intuitionistic Predicate Logic

Chapter 16: Introduction to Modal Logics, Modal S4 and S5 and their connections with Intuitionistic logic.

Chapter 17: Goedel Incompleteness Theorem

PRACTICE Midterm 1, TAKE HOME, posted Thursday, March 5

MIDTERM 1, Thursday, March 12, in class

Spring Break: March 16 - 23

MIDTERM 2, Tuesday, April 28, in class

LAST DAY OF CLASSES- May 8

FINAL: May,
18 5:30pm - 8pm in our classroom