COS 340
Reasoning About Computation
Spring 2014

Course Information   |   Lectures and Readings   |   Homeworks and Collaboration policy


Description.   The course will cover a variety of mathematical tools and techniques most useful in thinking about algorithms and computation.

Topics.   Following is a tentative list of topics to be covered:

Lectures.   Monday and Wednesday 3:00pm–4:20pm in CS 104.

Precepts.   A preceptor will work through problems that are similar in spirit to those on the problem sets. Every friday evening we will post precept problems on Blackboard.

Time Place Preceptor
Thursday 10:00am–10:50am CS 102 Shiva Kintali
Thursday 10:00am–10:50am Friend 110 Rafael Mendes de Oliveira
Thursday 7:30pm–8:20pm Friend 109 Shiva Kintali
Friday 10:00am–10:50am CS 102 Siu Man Chan

Office hours.   You are welcome to attend the office hours of any staff member.

Moses Charikar CS 305 Tue 3:00pm–4:00pm
Shiva Kintali CS 312 Thu 5:30pm–7:30pm
Rafael Mendes de Oliveira Common space of the 4th floor of the CS building Thu 11:00am–12:00pm
Siu Man Chan Common space of the 4th floor of the CS building Wed 2:00am–3:00pm

Online forum. : We use Piazza for all course related questions.