CS 270 - Mathematical Foundations in CS - Syllabus

Term and Credits

Spring 2016-2017 (April 03, 2017-June 16, 2017)
3 Credits

Room and Time

Lectures:

• 01 - MWF 3:00pm-3:50pm Room: Rush 014
• 02 - MWF 4:00pm-4:50pm Room: Rush 014
• 03 - MWF 5:00pm-5:50pm Room: Rush 014

Instructor

Mark Boady
Electronic Mail Address: mwb33@drexel.edu
Office: University Crossings 138
Extention: 215-895-2347
Office Hours: MWF: 1:00pm-2:30pm. By Appointment other Days/Times. (I tend to be around Tuesday.)

Teaching Assistant(s)

• Klimentina Krstevska kk866@drexel.edu
• Duc Le dml352@drexel.edu
• Chris McCole cjm399@drexel.edu

Office Hours and Contact Info Through the CLC: https://www.cs.drexel.edu/clc

Grading Details

Your work is graded by multiple people. You should know who to contact for each type of assignment.

• In Class Exercises: Graded by the Duc Le. May be signed off on by any TA.
• Homework Assignments:
  1. HW1 and HW6-8:
     1. Last Name: Amon to Mfon - Klimentina
     2. Last Name: Mills to Zheng - Chris
  2. HW2-HW5: Automatically graded by OLI. Email the Professor for any questions on your grade.
• Midterm: Graded automatically by OLI. Email the Professor for any grading issues.
• Final Exam: Graded by the Professor.

Course Description

Introduces formal logic and its connections to Computer Science. Students learn to translate statements about the behavior of computer programs into logical claims and to prove such assertions using both traditional techniques and automated tools. Considers approaches to proving termination, correctness, and safety for programs. Discusses propositional and predicate logic, logical inference, recursion and recursively defined sets, mathematical induction, and structural induction.

Course Objective and Goals

• To use recursion and divide and conquer to solve problems.
• To provide recursive definitions of patterns and data structures.
• To formally specify the input/output requirements of programs.
• To use induction and other proof techniques to prove properties of algorithms, data structures, programs, and computer systems.
• To use logic to describe the state of systems and to use logical deduction (by hand and using tools) to prove properties of systems.
• To understand the power and limitations of formal logic.

Audience and Purpose within Plan of Study

This is a required course for all Computer Science and Software Engineering students. It should also be of interest to Computer Engineering, Mathematics students and students with an interest in logic and computation.

Prerequisites
Students should have programming experience (CS172 or equivalent).

Textbook

You are required to sign up for an account using the online textbook.

Required Online Text: OLI Logic and Proofs. A code for our class's version of the textbook will be distributed in class. Purchase from http://oli.cmu.edu

Recommended: This book gives a good introduction to Functional Programming in LISP style languages. This is a good additional resources for the programming part of the class. It is not required. Reading will not be assigned from it.

The Little Schemer (4th Edition)
Daniel P. Friedman, Matthias Felleisen
ISBN-10: 0262560992
ISBN-13: 978-0262560993
Available through the Drexel Bookstore
Also available from Amazon

Grading and Policies

• In Class Exercises: 15%
• Homework Assignments: 35%
• Midterm Exam 25%
• Final Exam 25%

Final grades will be determined by your total points weighted according to this distribution. Grades may be curved but are generally computed via the formula below. It may be modified at the instructor's sole discretion, but letter grades will generally not be lower than those shown here.

• [100-97]A+
• (97-93] A
• (93-90]A-
• (90-87]B+
• (87-83] B
• (83-80]B-
• [80-77]C+
• (77-73] C
• (73-70]C-
• (70-67]D+
• (67-60]D
• (60-0]F

In Class Exercises

• Every Friday there will be an in class exercise. It will be designed to be completed during the class period. You may work with other students to complete these assignments. Groups may have from 1 to 3 members working together.
• If you do not complete the exercise during class, you may finish it during the TA or Professor's office hours the week following the lab.
• The exercise MUST be submitted to the Professor at or before the start of the your next Friday class.
• Your lowest exercise grade will be dropped. This is a sick day allowing you to miss one friday class without having to make anything up.

Assignments

• Assignments will be assigned weekly, except those weeks with exams.
• Assignments will be due on Wednesday at 11:59PM unless otherwise stated.
• Late Submissions will be accepted for 4 days at 10% off per day. After 4 days, no late submissions will be accepted unless there are extenuating circumstances and explicit permission has been given by the instructor.
• OLI Online Assignments: Late Submissions through OLI require Instructor Approval to submit. The above late policy stands, but you MUST email the Professor or your submission will not be accepted for grading.
• Assignments and exams will be returned on a regular basis to provide feedback to students.

Additional Policies

• You, your instructor, and the TA are bound by the Academic Honesty policy. Students are responsible for reading and understanding the course policies in this syllabus and for announcements made in class and in the course email list. See the academic policy linked to in this syllabus.
  Punishments include, but are not limited to
  • Zero for Assignment
  • Reduction of one Letter grade
  • Failure for class
• During lecture and recitation sessions please refrain from using mobile phones or otherwise being impolite.
• Any dispute about an assignment grade must be made and resolved within 5 days of receiving your grade. After this period your grade cannot be adjusted.
• If you are seeking help with an assignment you must contact me or a TA prior to Friday close-of-business hours. We cannot guarantee a timely response of that. This policy is to ensure that you get started early on your assignments.

Software and Hardware Requirements

All Drexel students are required to have individual access to a dedicated computer which meets minimum specifications, including: processor speed, memory and secondary storage requirements, connectivity via high-speed or direct connection to campus network, and a CD/DVD drive.

Programming assignments will be completed using the Racket Programming Language. It is required for this course. It can be downloaded from https://racket-lang.org/

OLI's Proof and Logic programs require Java and Flash. They work best in Firefox.

Academic Honesty Policy

The CCI Academic Honesty policy is in effect for this course. Please see the policy at http://drexel.edu/cci/resources/current-students/undergraduate/policies/cs-academic-integrity/ .

Computer/Software Help
iCommons: http://drexel.edu/cci/about/our-facilities/rush-building/iCommons/

University Policies
In addition to the course policies listed on this syllabus, course assignments or course website, the following University policies are in effect:

• Academic Honesty: http://www.drexel.edu/provost/policies/academic_dishonesty.asp
• Judicial Affairs Academic Integrity: http://drexel.edu/studentlife/community_standards/facultystaff/integrity/
• Official Final Exam Schedule: http://www.drexel.edu/registrar/scheduling/exams/
• Students requesting accommodations due to a disability at Drexel University need to present a current Accommodation Verification Letter (AVL) to faculty before accommodations can be made. AVL's are issued by the Office of Disability Resources (ODR). For additional information, visit the ODR website at http://www.drexel.edu/oed/disabilityResources, or contact the Office for more information: 215-895-1401 (V), or disability@drexel.edu."
• Course Drop Policy: http://www.drexel.edu/provost/policies/course_drop.asp
• The instructor may, at his/her/their discretion, change any part of the course during the term, including assignments, grade brakdowns, due-dates, and the schedule. Such changes will be communicated to students via the course web site Announcements page. This page should be checked regularly and frequently for such changes and announcements. Other announcements, although rare, may include class cancellations and other urgent announcements.
• Drexel Student Learning Priorities: http://www.drexel.edu/provost/irae/assessment/outcomes/dslp/

Tentative Course Schedule

Please see the appropriate assignment webpages for a detailed description of course deliverables.