CSE 215: Foundations of Computer Science

Spring, 2019 MoWe 5:30PM - 6:50PM

Office hours: TUE 1pm-4pm, or by appointment. Office: NCS 131
TAs:
• Name:TBD
• Name: Email: , Time: , Room:
• Announcements

• The course announcements are posted on Blackboard.
• Piazza will be used as a student forum where the students can exchange their thoughts among themselves and post questions. All logistic questions regarding the course, HWs, projects, and exams should be emailed directly to the instructor or teaching assistants.

Course Description

Introduction to the logical and mathematical foundations of computer science. Topics include functions, relations, and sets; recursion; elementary logic; and mathematical induction, recursion and other proof techniques. Graph and trees. Basics of counting and probability.

Topics

1. Introduction: sets, functions, logic
2. Functions
3. Induction and Recursion
4. Elementary Numbers and Methods of Proof
5. Set theory
6. Relations
7. Counting and probability
8. Graph and Trees

Slides

• The lecture slides are posted on Blackboard in Documents.

Assignments

• Assignments are posted on Blackboard.
• Assignments should be submitted electronically.
• Late assignment policy: For each day late - 20% of the assignment's grade (to a minimum above 0%)
• Recitations

Recitations will cover exercises from the textbook/homeworks for the topics being covered. They are NOT to be handed in.

Textbook

Main textbook:

Discrete Mathematics, An Introduction to Mathematical Reasoning. Brief Edition. Author: Susanna Epp.

Other recommended book:

• Assignments: 15%.
• Class and Recitation Quizzes : 15%.
• Midterm-I: 20%
• Midterm-II: 20%
• Finals: 30%

93-100(A),90-92(A-),87-89(B+),83-86(B),80-82(B-),77-79(C+), 73-76(C),70-72(C-),67-69(D+),63-66(D),60-62(D-),0-59(F)

For re-grading of an assignment or exam, please meet with the person (instructor or teaching assistant) responsible for the grading. Please arrange a re-evaluation within one week of receiving the graded work. All such requests that are later than one week from the date the graded work is returned to the class will not be entertained. To promote consistency of grading, questions and concerns about grading should be addressed first to the TA and then, if that does not resolve the issue, to the instructor. You are welcome to contact the TA by email or come to his office hour. If you would like to speak with the TA in person, and have a schedule conflict with his office hour, you are welcome to make an appointment to meet the TA at another time.

Class schedule and notes

• The following schedule is tentative and subject to change. The homework assignments and slides are posted on Blackboard. The exact times for midterms and assignment due dates are posted on Blackboard announcements.
• Course Schedule