Оптимізація функціональних мов програмування на основі методів штучного інтелекту

Вантажиться...
Ескіз

Дата

ORCID

DOI

Науковий ступінь

Рівень дисертації

Шифр та назва спеціальності

Рада захисту

Установа захисту

Науковий керівник

Члени комітету

Назва журналу

Номер ISSN

Назва тому

Видавець

Харків : Харківський національний університет імені В.Н. Каразіна

Анотація

Дисертація присвячена оптимізації функціональних мов програмування, на основі методів штучного інтелекту, що є складною та важливою задачею з багатьма проблемами та викликами. В дисертації розглянуто лямбда-числення як приклад відносно простої репрезентації функціональних мов програмування, що дозволяє показати процеси компіляції та інтерпретації функціональних мов програмування шляхом редукції лямбда-термів.
The dissertation is devoted to the optimization of functional programming languages based on artificial intelligence methods, which is a complex and important task with many problems and challenges. The thesis examines lambda calculus as an example of a relatively simple representation of functional programming languages, which allows us to show the processes of compilation and interpretation of functional programming languages by reducing lambda terms.

Опис

Науковий керівник: Григорій Миколайович Жолткевич, доктор технічних наук, професор

Бібліографічний опис

Дейнега, Олександр Андрійович. Оптимізація функціональних мов програмування на основі методів штучного інтелекту : дисертація ... доктора філософії : 122 – Комп’ютерні науки (галузь знань 12 – Інформаційні технології) / О.А. Дейнега. – Харків : Харківський національний університет імені В.Н. Каразіна, 2024. – 175 с.

Колекції

Підтвердження

Рецензія

Додано до

Згадується в