|CS 380, Spring 2017
M/W/F 12:50 - 1:50
|Prof. Lisa Torrey
Ours is primarily an applied discipline, but it has a theoretical foundation. Computers can be viewed as physical approximations of mathematical models. Examining these models reveals what we can expect computers to do - and what we can't. This course addresses questions like:
This is not a programming course; in fact, it may feel more like math or philosophy. However, this material forms the foundation of computer science, and it connects to concepts in other CS courses in many small ways.Prerequisite
Math 280. This course assumes that you have some familiarity with set theory and proof procedures.Textbook
Introduction to the Theory of Computation, 2nd or 3rd Edition by Michael Sipser.Office hours
My regular office hours this semester are 12:00-2:00 Tues/Thurs. If you have other commitments during those times, we can make other arrangements as needed.Accommodations
If your learning or participation in this course may be affected by a disability or any other factor, please talk to me early in the semester so that we can arrange appropriate accommodations. I will do my best to ensure that everyone can learn effectively.Attendance
Being in class will be crucial for your learning in this course. Absences will leave holes in your understanding of course concepts. If you must miss a class, you are expected to work to get caught up before the next class.
Your final grade will be a weighted average of exams (60%), homework (30%), and reading responses (10%). This table shows how averages translate to the 4-point scale. Please note that I set a high bar for a 4.0 and there is no such thing as extra credit.Academic integrity
It is important to me that you conduct your work in this course with academic integrity. That means abiding by the specific policies outlined below, as well as the general guidelines in the Student Handbook. It is my responsibility to report violations of these policies to the Dean.Homework
A handful of problems will be due almost every day of class, and we will begin each class by going over the problems that are due that day. You may want to bring an extra copy of your solutions so that you can take notes on them.
There will be four exams, each covering about a quarter of the course, with written problems based on the homework. Their expected dates are 2/15, 3/13, 4/12, and 5/10.Reading
For each assigned reading, you will be asked to submit responses to some questions. The deadline for each response is the start of the first exam after it was assigned.