### 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

#### 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.8de19939-0312-4d49-8e41-7e842db8eb0cY2:8de19939-0312-4d49-8e41-7e842db8eb0c8de19939-0312-4d49-8e41-7e842db8eb0cY2:8de19939-0312-4d49-8e41-7e842db8eb0c