CSE 213 - Foundations of Computer Science II (Fall 2000)
http://www.cs.sunysb.edu/~cse213/Fall
Prof. Leo Bachmair
Announcements
- The final exam scores
are available, see also the information below.
The final course grades will be posted after Christmas.
(December 22)
- The final exam will be in two lecture rooms,
Engineering 143 and 145.
All students from Rahat AHMED to Kenneth LEE
take the exam in Engineering 143; students
from Mun LEE to Shu ZHOU, in Engineering 145.
Seats in each room will also be assigned
alphabetically. Please check the lists
posted outside each room for further details.
- The complete set of lectures (1 - 20) is available.
The final exam is comprehensive and will cover
all lectures (except the two lectures on ML, 6 and 7)
and the corresponding sections of the text book,
as shown on the
reading list.
The emphasis will be on the last topics, i.e., predicate logic.
Please note the modified
office hours
during final exams week.
(December 15)
- All lectures through set 19 are now available.
There will be one more quiz in the last recitation,
in the week of December 11th.
The quiz will be twice as long as, and carry double the weight of,
the previous quizzes.
(December 6)
- Previous announcements
Course Description
This course is a continuation of CSE 113 that focuses
on the descriptive formalisms relevant to computing
including set theory and its application to quantifiers
relations and graphs, combinatorics, and
finite state machines.
Course Information
Exams
- First midterm exam: Tuesday, October 17, 9:50-11:10 a.m., Engineering 143
- Second midterm exam: Thursday, November 16, 9:50-11:10 a.m., Engineering 143
- Final exam: Thursday, December 21, 8:00-10:30 a.m., Engineering 143 and 145
Page maintained by Leo Bachmair leo@cs.sunysb.edu