[ home | schedule | assignments | resources | handouts | overview ]

CS 15-859 Domain Theory

Fall 1999
Dana Scott
Tu-Th 1:30-2:50pm
WeH 4615A
12 Units

Note: STARTS TUESDAY, AUGUST 24
If anyone cannot make the initial meetings, please e-mail Dana.Scott@cs.cmu.edu for special arrangements to catch up.

Brief description:

The theory of domains has many applications in programming-language semantics and type theory, computability theory, and recently also in measure theory and chaos. The course will offer a basic foundational discussion of the idea building up to the solution of domain equations in suitable categories and constructions of special domains such as powerdomains and continuous algebras. A general theory of "propositions as types" will also be discussed to give an appropriate logic of domains.

This course will be organized at a first-year graduate level, but is also suitable for seniors with a mathematical background. There will be weekly homework assignments. The final will be an individual project to be assigned in the last third of the course. There will be no in-class examinations. Lecture notes will be provided and background reading supplied. There is no required textbook for the course. Prerequisites are reasonable "mathematical maturity" and some knowledge of computability (at, say, the level of the undergraduate FLAC course).

Outline of topics

What's New?

Nothing yet

Class Materials

• Schedule
• Assignments
• Handouts
• Resources
• Overview

Course Information

• Lectures: Tu-Th 1:30-2:50, WeH 4615 A.
• Prerequisites: Reasonable "mathematical maturity" and some knowledge of computability (at,say, the level of the undergraduate FLAC course).
• Prerequisites:
  Reasonable "mathematical maturity" and some knowledge of computability (at,say, the level of the undergraduate FLAC course).
• Textbook:
  Lecture notes will be provided and background reading supplied. There is no required textbook for the course.
• Grading:
  There will be weekly homework assignments. The final will be an individual project to be assigned in the last third of the course. There will be no in-class examinations.
• Credit: 12 Units.
• Home: http://www.cs.cmu.edu/Groups/LTC/dt/
• AFS Directory: /afs/cs/user/andrej/www/dt/
• More: Further information on domain theory.

Teaching Staff

Instructor	Course Secretary
Dana Scott Dana.Scott@cs.cmu.edu WeH 4606, 268-3881	Phyllis Pomerantz plp@cs.cmu.edu WeH 4610, 268-7897

[ home | schedule | assignments | resources | handouts | overview ]