Mathematical Foundations of Computer Science

Mathematical Foundations of Computer Science
CS 270, Spring 2015

Instructor
Krzysztof Nowak
Grading responsibilities: Tests, Final Exam
e-mail: kn33@drexel.edu
Office Hours: Monday, Wednesday, Friday 12:00 pm - 12:50 pm, University Crossings 109

Teaching Assistants
Mark Boady
Grading responsibilities: Quizzes
e-mail: mwb33@drexel.edu
Office Hours: Thursday 12-2 pm, Friday 4-6 pm, University Crossings 147

Brandon Muller
Grading responsibilities: Homework
e-mail: bmm78@drexel.edu
Office Hours: Tuesday, Thursday 12-2 pm, University Crossings 147

Course Materials
Syllabus, Reading Assignments, Textbook, Solutions of Selected Problems

Past Item
Test 1, Quizzes 1-3, Homework Assignments 1-3
Test 2, Quizzes 4-5, Homework Assignments 4-5

Announcements

You will work on quizzes in groups, but homework, tests and the final exam will be individual.
All quizzes, tests and the final exam will be open book. You will be allowed to use the textbook and the solution manual, but neither notes nor other resources including calculators will be permitted. You will be permitted to bring your laptop and access the textbook and the solution manual with it.

Test 3, Quiz 6, Homework Assignments 6-7

Homework 6 due in class on 06/01/15

Textbook problems: 12.4.6, 12.5.4, 12.7.2, 12.8.3, 12.8.5, 12.8.7

Quiz 6, 06/01/15, covers 12.2-12.5, 12.7-12.11, 14.2-14.4
Practice problems: 12.3.1, 12.4.1-12.4.5, 12.5.1-12.5.3, 12.5.5, 12.7.1, 12.8.1-12.8.2, 12.8.4, 12.8.6, 12.8.11, 12.9.1-12.9.5, 12.9.7, 12.10.1, 12.11.1-12.11.3, 14.2.1, 14.3.1, 14.4.1-14.4.4

Relevant examples: 12.1-12.9, 12.18-12.30, 14.1-14.9

Homework 7 due in class on 06/08/15

Textbook problems: 12.9.6, 12.10.2, 12.11.4, 14.4.6, 14.7.5-14.7.6

Test 3, 06/08/15, covers 12.2-12.5, 12.7-12.11, 14.2-14.10, Review Problems
Practice problems for interpretations, tautologies, proofs, truth and provability: 14.5.1-14.5.2, 14.6.1, 14.7.1-14.7.3, 14.8.1, 14.10.1

Relevant examples for interpretations, tautologies, proofs, truth and provability: 14.10-14.21, 14.23, 14.25-14.27

Final Exam, 06/09/15, 3:30 pm – 5:30 pm, NSBITT 125
Final Exam is comprehensive. It covers the whole term. Use all practice problems, review problems for tests 1,2,3, tests 1,2,3, quizzes 1-6, and problems of homework assignments 1-7 in your preparation for the final.