Спеціалізовані вчені ради

Постійне посилання на розділhttps://ekhnuir.karazin.ua/handle/123456789/1327

У цьому розділі розміщуються дисертації науковців Каразінського університету, що захищені в ньому або в іншому науковому закладі (в будь-які роки).

Бажано, до опису дисертаційної роботи додати файли з текстом дисертації, текстом автореферату та відгуками (у форматі pdf).

Посилання на цей документ можна розмістити на сайті факультету на сторінці відповідної Спеціалізованої ради.

Переглянути

Фільтри

20241

Налаштування

Автор: search.filters.author.Дейнега, Олександр АндрійовичКлючові слова: search.filters.subject.automation of reduction strategy selection

Результати пошуку

Зараз показуємо 1 - 1 з 1
  • Ескіз
    Документ
    Оптимізація функціональних мов програмування на основі методів штучного інтелекту
    (Харків : Харківський національний університет імені В.Н. Каразіна, 2024) Дейнега, Олександр Андрійович; Deineha, O.A.
    Дисертація присвячена оптимізації функціональних мов програмування, на основі методів штучного інтелекту, що є складною та важливою задачею з багатьма проблемами та викликами. В дисертації розглянуто лямбда-числення як приклад відносно простої репрезентації функціональних мов програмування, що дозволяє показати процеси компіляції та інтерпретації функціональних мов програмування шляхом редукції лямбда-термів.