Зведений каталог бібліотек Києва

 

З81
Л972Лялецький, Олександр
    Неперервність функції в інтенсіональних моделях лямбда-подібних числень [Текст] : автореферат дисертації на здобуття наукового ступеня кандидата фізико-математичних наук: 01.05.01 / Київський національний університет ім. Тараса Шевченка. — Київ, 2009. — 16 с.


- Ключові слова:

числення, счисление, исчисление, calculus ; топологія, топология, topology ; кібернетика математична, кибернетика математическая ; автореферат (текст) ; множина, множество ; Природничі науки

- Анотація:

Головним чином, дисертацію присвячено дослідженню деяких спеціальних понять неперервності функції в контексті побудови на їх базі моделей лямбда числення за допомогою методу К.Койманса. А саме:

В роботі пропонуються три нові природні визначення збіжності спрямованості над частково впорядкованою множиною з "Достатньою кількістю" супремумів та інімумів.

- Теми документа

  • ББК науковий // Кібернетичні моделі



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного авіаційного університету 1 Перейти на сайт