COSC 240 - Spring 2020

Course Information

Catalog Description

A study of concepts foundational to computer science: sets, logic, the nature of proof, functions, algorithms, relations, lattices, and graphs.

Prerequisite: COSC 235 with a minimum grade of D and (MATH 140 with a minimum grade of D or MATH 181 with a minimum grade of D).

Goals

  • Learn how to interpret mathematical language and symbols properly, and how to communicate mathematical ideas effectively.
  • Learn the logic of mathematical arguments, different ways to prove a statement, and how to construct proofs.
  • Develop the ability to think recursively, and how to justify recursive procedures using mathematical induction.
  • Develop functional programming abilities in Standard ML.
  • Learn fundamental combinatorial concepts such as sets, propositional logic, relations, counting, bijections, permutations, graphs, and trees.

Grades

Your grade in the course will be based on a combination of assignments and exams.

Assignments
Assignments are exercises that reinforce the core concepts.
Exams
Exams are timed assessments of conceptual understanding.
Artifact Points
Assignments (~10) 600
Midterm Exam 150
Final Exam 250
Total 1000

The usual grading scale will be applied to the accumulated percentage: 93–100: A, 90–92: A-, 87–89: B+, 83–86: B, 80–82: B-, 77–79: C+, 73–76: C, 70–72: C-, 60–69: D, 0–59: F.

Policies

Attendance

You are expected to attend class meetings and come to class prepared. That includes having completed assigned readings, problem sets, and tutorials.

You are expected to dedicate your attention to what is going on in class and to participate fully in classroom activities, including discussions. No laptops or tablets are to be used in class unless being used for a classroom exercise. (Notes may be taken using a device if needed as an approved accommodation.)

Refer to the General Policy Regarding Attendance in the Wofford College Student Handbook. The policy makes you responsible for catching up on missed classes. If you must be absent for class, please email me in advance to let me know.

Make-up exams are not available. If you have a legitimate, excused absence during the midterm exam, then you must make it up during the final exam period.

Assignment Deadlines

Late assignments will not be accepted without a legitimate excuse. All assignments are expected to be submitted by the posted deadline.

Academic Integrity

The Honor Code requires faculty, staff, and students to maintain a high standard of individual honor and integrity. While I may specify some assignments as collaborative, work represented as your own must be your own. If you have any doubt about what is appropriate for a given assignment, you should contact me for clarification.

Accommodations

If you have a disability that requires assistance or accommodation, or if you have questions related to any accommodations for testing, note takers, readers, etc., please contact Dean Beth Wallace by telephone at (864) 597-4371 or in person by visiting the Hugh R. Black Infirmary. You must arrange accommodations during the first week of classes.

Tentative Schedule

This YouTube series may be useful for you as we go through the material.

Meeting Topics Textbook Videos Deadline
03 Feb 1.1, 1.2
05 Feb 1.3
07 Feb 1.4 A01
10 Feb 2.1 10-19
12 Feb 2.2 20-21
14 Feb 2.3 (2.4) 22 A02
17 Feb 3.1 23-24
19 Feb 3.2 25
21 Feb 3.3
24 Feb 3.4 A03
26 Feb 4.1, 4.2 38-39
28 Feb 4.3, 4.4 40
02 Mar 4.5, 4.6 41-42
04 Mar 4.7, 4.8 43-44 A04
06 Mar 5.1, 5.2 45
09 Mar 5.3, 5.4 46
11 Mar SIGCSE
13 Mar SIGCSE A05
16 Mar
18 Mar
20 Mar
23 Mar
25 Mar
27 Mar
06 Apr
08 Apr Midterm Exam
10 Apr Midterm Exam
13 Apr 6.1, 6.2 1-4
15 Apr 6.3, 6.4 5-8
17 Apr 7.1 51 A06
20 Apr 7.2 52-56
22 Apr 7.3
24 Apr 8.1, 8.2 48 A07
27 Apr 8.3 49
29 Apr 8.4 50
01 May 9.1 A08
04 May 9.2, 9,3, 9,4 26-27, 57-58
06 May 9.5, 9.6 28-32
08 May 9.9 34-36 A09

Note: This syllabus is subject to change with notice.