HAPPY THANKSGIVING to ALL!
NEW: I will give a TEST for Extra Credit on Thursday December 5
The TEST will cover material from Midterm and RS part of Q3
EVERYBODY is welcome to take it
Q4 is on Tuesday, December 3
Q4 covers Predicate Logic
Lectures Inroduction to Predicate Logic Posted in EXTRA Predicate Logic section
NEW Lectures 10 -13 POSTED
MIDTEM TEST Solutions POSTED
Midterm Review Lecture is POSTED
It does not cover ALL material! study the Book and past Tests
Use The Review as a PATTERN how to write correctly your own solutio
TUESDAY, THURSDAY, 1:00 pm - 2:20 pm
FREY HALL 301
Office: 1428 CS Building;
Please e-mail the professor with serious concerns only
Proffesor Office Hours
Tuesday, Thursday 11:30 am - 12:30 pm and by appointment.
Computer Science Building room 1428, telephone: 2-8458.
There is no recitations, but I will cover
solutions to homework assignments and held questions/answers
sessions each week
An Introduction to Classical and Non-Classical
Logics, Anita Wasilewska, Stony Brook University, Stony Brook, 2011
ALL BOOK CHAPTERS are in DOWNLOADS at the bottom of the page!
I will be posting NEW LECTURES SLIDES
I also included all OLD lecture slides for you to download ahead of time if you need
Introduction to Mathematical Logic, Fourth Edition, Elliot Mendelson,Wadsworth&Brooks/Cole
Advanced Books &Software, PACIFIC GROVE, CALIFORNIA
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.
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, defnitions and problems
Grading General Principles and Workload
there will be 4 homework assignments, 4 quizzes covering respectiv
homework assignments, 1 midterm and a final examination.
There will be some extra credit problems as a part of quizzes and Tests.
None of the grades will be curved.
Records of students grades are being kept by the course TA. Contact the TA
Final grade computation:
You can earn up to 400 points + 20 extra points
= 420 points during the semester.
The grade will be determined in the following way:
number of earned points divided by 4 = % 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
Quizzes will be given given at the end of class on THURSDAYS
Q1 - September 20
Q2 - October 15
Q3 - November 14
- December 3
MIDTEM TEST Thursday, October 24 in class
FINAL - will be given during the University assigned place and time
during the FINALS period December 10-16
NEW LECTURES SLIDES
Lecture 8- Review Problems
Lecture 9-Proof Systems, Chapter 7
Lecture 10 Hilbert Proof Systems, Chapter 8
Lecture 11 Completeness Theorem Proof 1, Chapter 9
Lecture 12 Completeness Theorem Proof 2, Chapter 9
Lecture 13 System RS, Chapter 11
Review for Mdterm
SOME BASIC DEFINITIONS and FACTS
Operations on Sets, Functions, Relations,
Order Relations, Lattices, Boolean Algebras
Cardinalities of Sets