Зведений каталог бібліотек Києва
ЯценкорвЯценко, Р. В. Багатомірні логіки та їх використання в поєднанні з lambda-численням [Текст] / Р.В. Яценко, A.M. Роговець // Вісник Київського університету. — Київ, 2000. — 2000. — С. 332-340.
- Ключові слова:
- Анотація:
У роботі розглянуто багатовимірні логіки та їх використання в поєднанні з класичними lambda-численням. Описано принцип застосування методом lambda-теорії до складних та нечітких логічних систем при розв"язанні логічних рівнянь та запропоновано прагматичні моделі для їх використання.
- Є складовою частиною документа:
Вісник Київського університету [Текст]. — Київ, 2000. — 2000. — 549 с.
- Теми документа
