|
-
Ключові слова:
дерева, деревья (мат.) ; лямбда-числення, лямбда-исчисление, lambda-calculus ; мови програмування, языки программирования, computer program language
-
Анотація:
В роботі розглянуто класичне [лямбда]-числення та ідеї його використання. Введено нові поняття, базовим з яких є поняття логічного рівняння та описано принцип застосування [лямбда]-теорії до складних та нечітких логічних систем. За допомогою типової моделі дерев Бема наведено приклади практичного використання логічних рівнянь. Досліджені локальні і глобальні властивості [лямбда]-моделі та її інтерпретацій.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
|
