stylesheet" type="text/css" href="style.css" title="style1"> cs1120: Syllabus
cs1120  Spring 2010

cs1120: Computer Science
from Ada and Euclid to Quantum Computing and the World Wide Web


Instructor
Westley Weimer

Teaching Assistants
David Noble
Kinga Dobolyi
Nick Wasilewski
Patrick Mutchler
Rachel Rater
Zak Fry
Email Address
cs1120-staff@cs.virginia.edu

Class Meetings
Mondays and Wednesdays, 3:30-4:45pm in MEC 341
Office & Lab Hours
Mon 12:30-13:30 Small Hall Lab
Mon 13:30-14:00 Olsson 219
Mon 14:00-15:00 Small Hall Lab
Mon 17:00-19:30 Thornton Stacks
Tue 11:00-12:30 Olsson 001
Wed 10:30-13:00 Thornton Stacks
Wed 13:30-14:00 Olsson 219
Thu 10:00-12:30 Thornton Stacks
Sun 13:00-14:30 Olsson 001
Sun 14:30-17:00 Olsson 001

procedure that can always solve a given problem (computability), and how much time and space will be required to solve a given problem (complexity).

Expected Background: This course is open to students with no prior background in computer science or programming, but appropriate and challenging for experienced CS majors also. The only background we assume is:

Meetings: Mondays and Wednesdays from 3:30 to 4:45 in MEC 341.

Professor Office Hours: Mondays and Wednesday 1:30-2:00 in OLS 219.

Office & Lab Hours: There are Staffed Lab Hours each week (in the TBA) and TBA Office & Lab Hours each week (in the TBA or OLS 219). See the Panel on the Left for the exact hours. During Staffed Lab Hours, a TA and signup sheet will be available in the Lab and the TA will answer programming, homework and conceptual questions. Office & Lab Hours are similar, except that priority will be given to conceptual and textbook question. If there are no such questions, Office & Lab Hours work just like Staffed Lab Hours.

Lab 15 Minute Rule: If no student shows up within the first fifteen minutes, that hour be canceled and the TA will leave.

Resources

Books: There is one required book for this course: Introduction to Computing: Explorations in Language, Logic, and Machines, by David Evans.

Recommended supplemental textbooks are:

Additional readings will be provided from handouts. Information about obtaining the textbooks is available.

Web page: http://www.cs.virginia.edu/cs1120. This page is updated often and students are expected to visit it regularly (almost every day). All lectures, notes and assignments for the course will be posted on the web site.

Email: Send mail to cs1120-staff@cs.virginia.edu to reach the whole course staff.

Instructor:

Teaching Assistants:

Collaboration Policy. Your fellow students are your best resource. Except on Exams and some Quizzes which are done individually, students are encouraged to discuss readings and assignments in study groups. Some assignments may have a specific collaboration policy, which should be explained clearly on the assignment. If this is ever unclear, ask to make sure before proceeding.

Students are also encouraged to consult outside sources, including human experts. Always list the resources you used (students, outside experts, papers, web sites) on your submission. The only resource you may not use are problem sets from previous semesters of CS1120. It is to your advantage for the course staff to be able to reuse effective assignments from previous semesters, and important that we can trust you to no abuse those materials.

All students are required to sign the course pledge, which applies to the entire course.

Assignments

Problem Sets. There will be around nine problem sets that involve both written questions and programming problems. Some problem sets may be done by small groups of students. For almost all students, doing the problem sets will be the best way to learn the course material.

The expected problem set due dates and topics (which are subject to change) are:

Unless noted otherwise, problem sets are due at the beginning of class (3:30pm) on the day they are due.

Quizzes. There may be several short in-class quizzes throughout the semester. These may or may not be announced in advance. Except in unusual circumstances, these will have no effect on your grade. Instead, they are used to allow us to determine if important concepts have been understood throughout the semester. If you make a serious effort on all quizzes, your overall quiz grade will be the maximum of your individual quiz grades.

Exams. There will be two exams during the semester and a final. All exams will be open book and open notes. All exams will be take-home unless I have any reason to believe there are any untrustworthy students in this class.

Topics

Language: Formal Systems and Languages, Rules of Evaluation

Be able to identify the primitives, means of combination, and means of abstraction for a language; describe a language using BNF or RTN; determine the set of the surface forms in a language described by a BNF grammar or RTN; determine what a surface form in a language means if you are given evaluation rules for the language; determine the value of a Scheme expression following the rules of evaluation.

Recursive Definitions

Understand a recursive definition; solve a problem by defining a procedure recursively; reason about the process produced by evaluating an application of a recursively defined procedure; define and understand procedures that take procedures as parameters; define and understand procedures that produces procedures as results.

Programming with Lists

Define procedures that manipulate lists, use and understand procedures that traverse lists.

Programming with Mutation and Objects

Define and understand procedures that use mutation; draw environment diagrams; explain what environment diagrams mean; define procedures that create objects; explain a class hierarchy; define procedures that use inheritance; explain how a method is selected given class definitions.

Metalinguistic Abstraction

Understand an evaluator; modify and evaluator to change the meaning of a language; explain why the difference between eager and lazy evaluation matters; explain the advantages and disadvantages of static type checking; understand an evaluator that does static type checking.

Programming for the Internet

Measure the latency and bandwidth of a network; explain the advantages and disadvantages of packet switching; make a dynamic web site; construct a SQL command to select or insert data in a database table; learn a new language given a BNF grammar and an informal description of its evaluation rules.

Measuring Complexity

Describe problems precisely in terms of their inputs and outputs; express the amount of work a procedure requires using Theta notation; describe a problem using O, Omega, Theta; estimate the amount of work a solution to a problem involves; classify problems into complexity classes P and NP; explain convincingly what a problem is in NP; explain what it would mean if someone developed a fast (polynomial time) procedure for an NP-Complete problem.

Computability

Explain what it means for an axiomatic system to be perfect, incomplete or inconsistent; explain the essence of Godel's proof; determine if a problem is decidable or undecidable, and provide a convincing (informal) argument why.

Models of Computation

Explain how to model computation; understand a finite state machine description and explain what it does; understand a Turing Machine description and explain what it does; explain if a problem can be solved by a finite state machine (or why it cannot); define a Turing Machine that solves a simple problem; reduce a Lambda Calculus term to normal form; create and manipulate Lambda Calculus terms that represent true, false, if, numbers and lists; show that a computing model is (or is not) capable of modeling any mechanical computation.

Evaluation

Grading: All students who put an honest effort into all the assignments and convince me they have learned to think like a computer scientist by the end of the course will receive an A as a final grade.

For students who do not succeed in convincing me they can think like a computer scientist, grades will be based on approximately the following weighting:

(no final exam for Spring 2010)
Problem Sets50 (40-70)
Exam 115 (5-15)
Exam 215 (10-20)
Final Exam20 (15-50)
Class Contribution0 (0-10)

Grades will be tabulated varying the weights assigned to each category in several different ways using the ranges above. For example, PS9 (the final project) is worth significantly more than the other problem sets.

We will drop the lowest Problem Set Grade in which you received at least three points (one Problem Set Grade = Written + Coding for that Problem Set). Problem Set 9 (the final project) may not be dropped. In general, the weighting that is best for you is used.

Spend your energy focusing on what you are learning, instead of worrying about your grade. Although the material we cover is challenging, and the pace may seem overwhelming at times, historically all students who put effort into this class have done fine. Although not everyone will succeed, all students are expected to get an A in the course. Students who do outstanding work in the course will be considered for funded summer research positions in Prof. Weimer's research group.

Late Policy: The most important aspect of completing the assignments is that you eventually understand the material. One of the ways we help you to understand the material is to give you prompt feedback on your work. To be fair to all students, you should turn your work in on time. Late work will typically receive at least a 10% penalty per day, and will not be accepted after we have gone over the assignment in class or distributed an answer key. Note that the automatic adjudication grade summary may not show the points deducted from a late assignment (although it will show the dates).

Holding Policy: If we correct your work and you do not pick up the annotated copy promptly, we may mark down your grade (sometimes called a "holding fee"). cs1120: Syllabus

cs1120  Spring 2010

cs1120: Computer Science
from Ada and Euclid to Quantum Computing and the World Wide Web


Instructor
Westley Weimer

Teaching Assistants
David Noble
Kinga Dobolyi
Nick Wasilewski
Patrick Mutchler
Rachel Rater
Zak Fry
Email Address
cs1120-staff@cs.virginia.edu

Class Meetings
Mondays and Wednesdays, 3:30-4:45pm in MEC 341
Office & Lab Hours
Mon 12:30-13:30 Small Hall Lab
Mon 13:30-14:00 Olsson 219
Mon 14:00-15:00 Small Hall Lab
Mon 17:00-19:30 Thornton Stacks
Tue 11:00-12:30 Olsson 001
Wed 10:30-13:00 Thornton Stacks
Wed 13:30-14:00 Olsson 219
Thu 10:00-12:30 Thornton Stacks
Sun 13:00-14:30 Olsson 001
Sun 14:30-17:00 Olsson 001


cs1120: Computer Science
University of Virginia
weimer@virginia.edu
Using these Materials