Contents and Frequented Links

• Overview
• Nuts and Bolts
• Calendar
• Lab Files
• Asmt Files
• Coaching Office Hours

Overview

Nuts and Bolts

The primary textbook for the course is: Sets, Logic and Maths for Computing by David Makinson (c) 2012, published by Springer-Verlag.

• Instructions for accessing the textbook online---for free!

We will be following the chapters in this book quite closely; however, there will be occasional supplements distributed in class. The material in the text will be complemented by regular programming assignments.

We will use the Scheme programming language and the DrScheme software, available at drscheme.org. (Pay no attention to the pop-up window concerning DrRacket.)

• If you want to put drScheme on your own computer, be sure to download version 4.2.1.
• Also, be sure to select the Full Swindle language.

The lab sessions will initially be devoted to getting familiar with the DrScheme programming environment. (It is very similar to DrRacket.) Some lab sessions may also include lectures.

There will be regular assignments, usually about one every two weeks. Most of the problems on these assignments will require you to write, test and run programs written in Scheme; however, some of the problems, particularly in the first part of the semester, will require you to write proofs using techniques discussed in class. You are strongly encouraged to use PENCIL when writing proofs! (It's a lot easier to erase than ink.) It is not necessary to use a word processor for proofs; paper-and-pencil is fine. Assignments involving computer programs will be submitted both electronically and in paper form. Whether involving handwritten proofs or typed-up programs, all assignments must be clearly composed and laid out neatly on the page. Your programs must include concise comments that make it clear what you are doing; and your proofs must be legible. In general, at least one blank line should separate consecutive problems/programs.

All assignments must be done individually. No collaboration of any kind is allowed. Any cases of inappropriate collaboration (cheating) have to be reported to the department chair, and will be dealt with promptly. Any sharing of code---even if it's just pointing out something on the screen that you've written---will be considered cheating.

There will be one in-class exam during the semester, shortly after Spring break. There will also be a final exam. All exams will be paper-and-pencil affairs, with open-book/open-notes, but no electronic devices (e.g., no calculators or computers), except that we may provide you with access to an online browser that is restricted to the cs145 website.

The elements of the course (exams, labs and assignments) will be weighted as follows when determining your overall grade:

Labs	20%
Assignments	45%
Exams	35% (midterm: 15%, final: 20%)

Academic accommodations are available for students with disabilities who are registered with the Office of Disability and Support Services. Please schedule an appointment with the instructor early in the semester to discuss any accommodations for this course which have been approved by the Director of Disability and Support Services as indicated in your accommodation letter.

Calendar