Cse371, Math371
LOGIC
Fall 2011
Course Information
News:
TAKE HOME FINAL is posted.
It is due Wednsday, December 14, 7pm or any day before.
If I am not in my office slid it under my office door.
I WILL HAVE OFFICE HOURS on WEDNSDAY, December 14, 12:15 - 1 pm and 2:15 - 2:45 pm
Q4 solutions are posted.
Time:
TUESDAY, THURSDAY, 5:20 - 6:40 pm
Place:
Union 236
Professor:
Anita Wasilewska
Office: 1428 CS Building;
Phone: 632-8458
e-mail: anita@cs.sunysb.edu
Office Hours:
Tue, Th, 1 - 2 pm and by appointment
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
ALL BOOK CHAPTERS are for you to DOWNLOAD at the bottom of the page!
I also included all lecture slides for you to download so you can bring them to the class.
Additional Book
C.C. Leary,
A Friendly Introduction to Mathematical Logic, Printice Hall, 2000.
You can also read any other Logic book.
The course outcomes and catalog description are in the official course description page.
Practice quizzes and Tests
There will be 4
Practice Quizzes. I will put them on the WEB on Tuesdays a week
before the Quiz on Tuesday. I want you to solve them, and if you
don't know how, ask questions in the class. I will also put (on
Thursdays) detailed solutions so you can test yourself before each
of the quizzes. Some of Practice quizzes problems may appear on
real quizzes as extra credit problems.
Practice Midterm: total 10 extra points.
It is a closed book test given in class.
Practice Final: total 10 extra points.
It is a practice take home test.
Practice tests policy
Practice tests and quizzes
are designed to help you to learn what and how much you have
learned and what you still don't understand from the material
covered by the test.
Quizzes and Tests Schedule:
Quiz 1, THURSDAY, September 22
Quiz 2, Tuesday, October 11
PRACTICE MIDTERM, Tuesday, October 18
Solutions will be put out on Web the same day.
MIDTERM, TUESDAY, OCTOBER 25
It is a closed book test.
Quiz 3, Tuesday, November 15
Thanksgiving Break: November 23- 27
Quiz 4, Tuesday, December 6.
PREDICATE LOGIC SHORT TEST (extra credit) is due on the last day of classes.
It will be put on the Web on December 5. IT covers material from my last 2 classes
as presented in EXTRA Lecture Notes 1,2.
Take home FINAL is posted.It is due Wednsday, December 14, 7pm or any day before. If I am not in my office slid it under my office door.
DOWNLOADS
TAKE HOME FINAL
Syllabus
SOME BASIC DEFINITIONS and FACTS
Operations on Sets, Functions, Relations,
Equivalence Relations
Order Relations, Lattices, Boolean Algebras
Cardinalities of Sets