Дейнега, Олександр АндрійовичDeineha, O.A.2024-11-082024Дейнега, Олександр Андрійович. Оптимізація функціональних мов програмування на основі методів штучного інтелекту : дисертація ... доктора філософії : 122 – Комп’ютерні науки (галузь знань 12 – Інформаційні технології) / О.А. Дейнега. – Харків : Харківський національний університет імені В.Н. Каразіна, 2024. – 175 с.УДК 004.4`6:004.4`4https://ekhnuir.karazin.ua/handle/123456789/18975Науковий керівник: Григорій Миколайович Жолткевич, доктор технічних наук, професорДисертація присвячена оптимізації функціональних мов програмування, на основі методів штучного інтелекту, що є складною та важливою задачею з багатьма проблемами та викликами. В дисертації розглянуто лямбда-числення як приклад відносно простої репрезентації функціональних мов програмування, що дозволяє показати процеси компіляції та інтерпретації функціональних мов програмування шляхом редукції лямбда-термів.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.ukSOCIAL SCIENCESштучний інтелектвеликі мовні моделікластеризаціяглибинне навчанняінформативність характеристикмашинне навчаннянейронні мережіпрофілювання процесу редукціїграфове представленнямоделювання лямбда-численняфункціональні мови програмуванняавтоматизація вибору стратегії редукціїсимуляція процесу редукціїверифікація програмного забезпеченняartificial intelligenceLLMsclusteringdeep learninginformativeness of featuresmachine learningneural networksprofiling of reduction processgraph representationlambda-calculus simulationfunctional programming languagesautomation of reduction strategy selectionsimulation of reduction processverification of programsОптимізація функціональних мов програмування на основі методів штучного інтелектуOptimization of functional programming languages based on artificial intelligence methodsDissertation