Программа курса
"Прикладная логика"

(Денотационные семантики и функционалы)

  1. Введение. Топология для дискретной математики.
  2. Топологические пространства. Порядок специализации, отношеине аппроксимируемости.
  3. Произведение, прямой (обратный) предел топологических пространств.
  4. a-пространства, d-пространства.
  5. Инъективные пространства, непрерывные решетки.
  6. Правильная топология на семействе всех непрерывных отображений.
  7. l-исчисления и их модели.
  8. Декартово замкнутые классы топологических пространств. a0-пространства, A0-пространства, D-пространства.
  9. Конструкция Скотта моделей бестипового l-исчисления.
  10. Вычислимые функционалы. f0-пространства с конструктивизируемым базисом.

Программу составил
академик РАН
профессор
Ю.Л.Ершов.