# Cse371, Math371

LOGIC

Fall 2017

## Course Information

### News:

**MIDTERM 1 ****da****t****e
change****d to WEDNESDAY,
OCTOBER 25**

** **

We have 2 wonderful TAs

Contact them when you need help!

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

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, 2 midterrms, 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
Quizzes will
be given given at the end of class on WEDNESDAYS
Q1 - MONDAY, October 9

**MIDTEM 1:
Wednesday , October ****18 **** 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

**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: Classical Formal
Theories: Consistency and Completeness

Book Chapter 11: Automated Proof
Systems for Classical and Intuitionistic Predicate Logic

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