Программа курса
"Прикладная логика"
(Денотационные семантики и функционалы)
- Введение. Топология для дискретной математики.
- Топологические пространства. Порядок специализации, отношеине
аппроксимируемости.
- Произведение, прямой (обратный) предел топологических
пространств.
- a-пространства,
d-пространства.
- Инъективные пространства, непрерывные решетки.
- Правильная топология на семействе всех непрерывных отображений.
- l-исчисления и их модели.
- Декартово замкнутые классы топологических пространств.
a0-пространства,
A0-пространства, D-пространства.
- Конструкция Скотта моделей бестипового
l-исчисления.
- Вычислимые функционалы. f0-пространства с
конструктивизируемым базисом.
Программу составил
академик
РАН
профессор
Ю.Л.Ершов.