CS 250: Discrete Structures I (sets, functions, relations, countability, proofs) CS 251: Discrete Structures II (Boolean logic, first-order logic, formal reasoning and deduction) CS 311: Computational Structures (regular languages, context-free languages, Turing machines, computability)Students will have previously encountered some but not all of the topics we will cover. Chapter 0 of the Sipser textbook sets the stage by providing background, prerequisite information that you should already know. We will not cover this chapter, but please read it before the first class as a refresher and to make sure you are ready for this material.
Week 1Sept 25 |
Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Homework xxx |
Week 2October 2 |
Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Homework xxx |
Week 3October 9 |
Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Homework xxx |
Week 4October 16 |
Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Homework xxx |
Week 5October 23 |
Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Homework xxx |
Week 6October 30 |
Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Homework xxx |
Week 7November 6 |
Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Homework xxx |
Week 8November 13 |
Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Homework xxx |
Week 9November 20 |
Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Homework xxx |
Week 10November 27 |
Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Topic Reading: Section xxx Lecture notes Practice exercises: xxx Homework xxx |
Finals Week |
Final Exam --- Monday, December 3, 2012 --- 10:15AM-12:05PM
Study-Guide-for-Final |
Tentative 10% - Homeworks 12% - In-class quizzes, class participation 50% - Midterm Exams 30% - Final ExamIncompletes will not be given.
https://mailhost.cecs.pdx.edu/mailman/listinfo/porterclasslist/The MailMan program will email you a confirmation message. You must reply, but you can simply hit your email "reply" button. After being adding to the mailing list you will get a "welcome" message from me.
PorterClassList@mailhost.cecs.pdx.eduFor additional documentation, see
staff.imsa.edu/~ckolar/mailman/mailman-userguide-0.1.pdf (pdf, 159 kb)(By the way, if Internet Explorer does not work with MailMan on the Mac, use the "Safari" web browser instead.)