CS 4110 (Fall 2010)

Programming Languages and Logics
MWF 10:10-11:00
Upson 111

Syllabus

An introduction to the theory, design, and implementation of programming languages.

Course Overview

Part I: Basics

Part II: Analysis

Part III: Advanced Features

Grading

Evaluation will consist of eleven homework assignments, two preliminary exams, and a final exam. The breakdown for the overall course grade is as follows:

Homework Policy

Students are encouraged to collaborate on homework assignments with a study group but must write up their own solutions. Students must clearly identify the members of their study group on each assignment. Late assignments will not be accepted. However, the lowest assignment will be discarded at the end of the semester.

Exams

The course will have two preliminary exams and a final exam. The higher preliminary exam will count 25% and the lower preliminary exam will count 20%. The exams will be cumulative, but will focus on material from recent lectures. Makeup exams must be scheduled within the first two weeks of class. Check now to see if you have a conflict with another class and contact the instructor immediately to reschedule.

Academic Integrity

All students are expected to conduct themselves with the utmost integrity. If you are unsure about what is allowed and what is not, please ask! See here for the university code of academic integrity.

Special Needs and Wellness

It is university policy to provide reasonable accommodations to students who have a documented disability (e.g., physical, learning, psychiatric, vision, hearing, or systemic) that may affect their ability to participate in course activities or to meet course requirements. Students with disabilities are encouraged to contact Student Disability Services at 607-254-4545, or the instructor for a confidential discussion of their individual needs.

If you are experiencing undue personal or academic stress at any time during the semester or need to talk to someone who can help, contact the instructor or:

Validate XHTML Validate CSS
Last updated September 2010