COSC 240 - Fall 2018

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, projects, and exams.

Assignments
Assignments are exercises that reinforce the core concepts.
Projects
Projects are programming assignments using ML.
Exams
Exams are timed assessments of conceptual understanding.
Artifact Points
Assignments (~10) 200
Projects (~2) 100
Exam 1 150
Exam 2 150
Exam 3 150
Final Exam 250
Total 1000

The usual grading scale will be applied to the accumulated points: 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

Meeting Topics Textbook Deadline
04 Sep 1.1-1.5
06 Sep 1.6-1.7,1.10-1.13
11 Sep 1.8-1.9,2.4 A01
13 Sep 2.1-2.3,2.5
18 Sep 3.1,3.2,3.4,3.5 A02
20 Sep 3.3,3.7
25 Sep 3.8-3.10 A03
27 Sep 3.11-3.12
02 Oct P1
04 Oct Exam 1
09 Oct 4.1-4.2 A04
11 Oct 4.3-4.4
16 Oct 4.5-4.8 A05
18 Oct
23 Oct 6.1,6.2,6.4 A06
25 Oct 6.5,6.6
30 Oct A07
01 Nov Exam 2
06 Nov 5.1-5.3
08 Nov 5.4-5.5
13 Nov 7.1,7.2,7.4,7.6 A08
15 Nov 7.3,7.5
20 Nov 7.7-7.9 A09
27 Nov 7.10-7.11
29 Nov Exam 3
04 Dec 8.1-8.2 P2
06 Dec 8.3,8.6 A10

Note: This syllabus is subject to change with notice.