CS 380, Spring 2017 M/W/F 12:50 - 1:50 Bewkes 303 |
Prof. Lisa Torrey ltorrey@stlawu.edu Bewkes 106 |

- Exam at 8:30

- Study for the exam

- No new assignments

- No new assignments

- Reading: Sipser 7.4 (responses)

- Reading: Sipser 7.1 (responses)

- Assignment: problems

- No new assignments

- No new assignments

- Study for the exam

- Assignment: problems

- Reading: Sipser 4.2 (responses)

- Assignment: problems

- Reading: Sipser 3.2 (responses)

- No new assignments

- Study for the exam

- Reading: Sipser 2.3 (responses)

- Assignment: problems

- Assignment: problems

- Assignment: problems

- Reading: Sipser 1.4 (responses)

- Assignment: problems

- No new assignments

- No new assignments

- Study for the exam

- Assignment: problems

- Assignment: problems

- Assignment: problems

- Assignment: problems

- Assignment: problems

- No assignments

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:

- What types of computational models are there?
- What types of problems can and cannot be solved by them?
- What types of computations can and cannot be done quickly?

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.

Math 280. This course assumes that you have some familiarity with set theory and proof procedures.

*Introduction to the Theory of Computation, 2nd or 3rd Edition* by Michael Sipser.

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.

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.

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.

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.

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.

**Formatting**: LaTeX formatting is required on the first three problem sets.**Collaboration**: You may confer with classmates as you work on the assignments, but you may only submit work that you have personally written and understood.**Resources**: You may consult your notes and the assigned reading; you may not copy from other people's work.**Citations**: In each assignment, you must cite anyone who helped you complete it. Help is not counted against you; it just needs to be acknowledged.**Extensions**: Because we'll be going over the homework right away, extensions won't be possible. However, your three lowest homework scores will be dropped.

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.

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.

Things you might find useful:

- A LaTeX template for problem sets
- A LaTeX Wikibook for reference
- A website for quick LaTeX compiling

We will be using Sakai just for grade tracking.