Fall 2010 Course Notes
A guide to new and revised course offerings for Fall '10 in CS.
CS 4110, Programming Languages and Logics, will meet MWF 10:10-11:00.
CS 4120/4121 will not be offered.
CS 4410 will meet TR 2:55-4:10.
CS 4670, Introduction to Computer Vision, is a new course being taught by Noah Snavely. The class will meet MWF 10:10-11:00.
4 credits. Prerequisites:CS 2110, CS 2800.
An in-depth introduction to computer vision. The goal of computer vision is to compute properties of our world---the 3D shape of an environment, the motion of objects, the names of people or things---through analysis of digital images or videos. The course covers a range of topics, including 3D reconstruction, image segmentation, object recognition, and vision algorithms for the Internet, as well as key algorithmic and optimization techniques, such as graph cuts and non-linear least squares. This course emphasizes hands-on experience with computer vision, with several large programming projects.
CS 4780 will not be offered.
CS 4830 will meet TR 1:25-2:40.
CS 4860 will meet TR 10:10-11:25. This course on Applied Logic will also cover formal methods and their applications in software reliability and software engineering. The course will start with a presentation of first-order logic using the classic textbook by Raymond Smullyan supplemented by lecture notes connecting first-order logic to topics in computer science such as the famous P = NP problem and SAT solvers.
Building on first-order logic, we will study formal specifications used by industry to precisely state programming tasks, and we will develop a programming logic to show that programs meet specifications. The course will include applying formal logic to issues in distributed computing and computer security. There will be an opportunity to apply modern tools such as interactive theorem provers in a course project. The course notes will provide material that is otherwise not available in textbooks.
CS 5410 will not be offered.
CS 5414, Distributed Computing Principles,is one of two new courses that will replace CS 5410. (The other is CS 5412, Cloud Computing). CS 5414 will meet MW 10:10-11:25. CS 4410 is a prerequisite.
CS 5620 will not be offered.
CS 6630 will not be offered.
CS 6670 will not be offered.
CS 6830 will not be offered.
CS 6860, Logics of Programs, will be offered and is currently TBA.