Л97
Лялецький О. О. Неперервність функції в інтенсіональних моделях лямбда-подібних числень : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 "Теоретичні основи інформатики і кібернетики" / Лялецький Олександр Олександрович ; Київ. нац. ун-т ім. Т. Шевченка. – Київ, 2009. – 16 с.
Лялецький О. О. Неперервність функції в інтенсіональних моделях лямбда-подібних числень : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 "Теоретичні основи інформатики і кібернетики" / Лялецький Олександр Олександрович ; Київ. нац. ун-т ім. Т. Шевченка. – Київ, 2009. – 16 с.
Статистика використання: Видач: 0
Тема:
- УДК
- 004.432.42 Функціональні мови
- 519.766.2 Алгебрологічні моделі. Теоретико-множинні моделі
- 515.126.2 Спеціальні типи неперервних відображень. Відкриті, замкнені відображення. Досконалі відображення. Монотонні відображення Ключові слова
- топологія, топология, topology
- лямбда-числення, лямбда-исчисление
- інтенсіональні моделі, интенсиональные модели
- топологічна неперервність, топологическая непрерывность
- частково впорядкована множина, частично упорядоченное множество