Реалізація лямбда-числення на мові Haskell
| dc.contributor.advisor | Проценко, Володимир | |
| dc.contributor.author | Туріна, Кирило | |
| dc.date.accessioned | 2021-12-22T08:51:58Z | |
| dc.date.available | 2021-12-22T08:51:58Z | |
| dc.date.issued | 2021 | |
| dc.description.abstract | Було розглянуто лямбда-числення як теоретичну модель для опису обчислень. Також було реалізовано застосунок, чиєю функцією є виконання редукції над лямбда-виразами, та проаналізовано засоби та абстракції мови Haskell, які дозволяють ефективно реалізувати модель. Застосунок підтримує завантаження зовнішніх файлів з лямбда-визначеннями та виконання лямбда-виразів у консолі. | uk_UA |
| dc.identifier.uri | https://ekmair.ukma.edu.ua/handle/123456789/21981 | |
| dc.language.iso | uk | uk_UA |
| dc.status | first published | uk_UA |
| dc.subject | лямбда-числення | uk_UA |
| dc.subject | Haskell | uk_UA |
| dc.subject | моделі обчислення | uk_UA |
| dc.subject | лямбда-вираз | uk_UA |
| dc.subject | абстракції мови Haskell | uk_UA |
| dc.subject | бакалаврська робота | uk_UA |
| dc.title | Реалізація лямбда-числення на мові Haskell | uk_UA |
| dc.type | Other | uk_UA |