Ma/CS 117b
 
Computability Theory
Winter 2014-15
 
TR 1:00 PM //
Course Description | Policies | Textbooks | Lecture Notes | Homework

Instructor:  Andrew Marks, 260 Sloan, marks@caltech.edu
TA: Henry Macdonald.
Office hours: Monday 5pm in 158 Sloan



Announcements
 


 
 



Course Description

In the Winter term, we will discuss computability in the broader setting of mathematics. Some of the highlights here are a development of the Godel Incompleteness Theorems, the Boone-Novikov theorem on the undecidability of the word problem for groups, and the basics of the theory of algorithmic randomness. We will also discuss many examples of undecidable problems from logic, number theory, group theory, combinatorics, and computer science. No prior knowledge of any of these subjects is assumed. We will develop all the necessary background.

In the Spring term, we will start with a discussion of decidable problems, i.e., problems for which there are actually algorithms for their solution. Then we will introduce the basic concepts of the theory of computational complexity of algorithms. We will study the concept of feasible (polynomial time) computation and the relationship between deterministic polynomial (P) and nondeterministic polynomial (NP) computations, including NP-complete problems and the famous "P = NP" problem. We will also discuss probabilistic algorithms and derandomization.


Policies

There will be a weekly homework assignment due on Tuesday at 1pm. The lowest homework score will be dropped. There will be no exams for the class. On each homework there will be one starred problem on which no collaboration is allowed. For the other problems, collaboration is allowed but you should write up your own solutions. You cannot look up solutions to the problems from any source. No late submissions are allowed except for medical problems (note needed from the health center) or serious personal difficulties (note needed from the Dean's Office).

Textbooks


There will be no textbook. The course will be self-contained.


Lecture Notes
  

Date Description
   

Homework

Date Description
Due Jan 13 Homework 1
Due Jan 20 Homework 2
Due Jan 27 Homework 3
Due Feb 4 Homework 4
Due Feb 10 Homework 5
Due Feb 17 Homework 6
Due Feb 24 Homework 7
Due March 3 Homework 8
Due March 12 Homework 9