ОСОБЛИВОСТІ ОБ’ЄКТНО-ОРІЄНТОВАНОГО ТА ФУНКЦІОНАЛЬНОГО ПРОГРАМУВАННЯ МЕТОДІВ ДИФЕРЕНЦІАЛЬНОЇ ГЕОМЕТРІЇ КРИВИХ ЛІНІЙ ТА ПОВЕРХОНЬ

Πηγή: Прикладна геометрія, інженерна графіка та об’єкти інтелектуальної власності; № XIV (2025): XIV Міжнародна науково-практична конференція Прикладна геометрія, інженерна графіка та об'єкти інтелектуальної власності; 114-117

Θεματικοί όροι: тригранник Френе, поверхні, об'єктно-орієнтоване та, функціональне програмування, диференціальна геометрія, криві лінії

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://jagegip.kpi.ua/article/view/332510

База даних публічних реактивних функціональних сигналів

Πηγή: Adaptivni Sistemi Avtomatičnogo Upravlinnâ, Vol 2, Iss 45 (2024)

Θεματικοί όροι: T59.5, Automation, функціональне програмування, сигнали, ефекти, база даних, реактивне програмування, події

Σύνδεσμος πρόσβασης: https://doaj.org/article/5ec18df0a0604f76a9e77ce2a024ece6

The database of public reactive functional signals

Πηγή: Adaptive Systems of Automatic Control; Vol. 2 No. 45 (2024): Adaptive Systems of Automatic Control; 204-221
Адаптивные системы автоматического управления; Том 2 № 45 (2024): Адаптивні системи автоматичного управління; 204-221
Адаптивні системи автоматичного управління; Том 2 № 45 (2024): Адаптивні системи автоматичного управління; 204-221

Θεματικοί όροι: функціональне програмування, reactive programming, signals, functional programming, події, message queues, сигнали, ефекти, база даних, реактивне програмування, effects, черги повідомлень, events, database

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://asac.kpi.ua/article/view/313200

The approach development of data extraction from lambda terms

Πηγή: Eastern-European Journal of Enterprise Technologies; Vol. 3 No. 2 (129) (2024): Information technology. Industry control systems; 42-54
Eastern-European Journal of Enterprise Technologies; Том 3 № 2 (129) (2024): Інформаційні технології. Системи управління в промисловості; 42-54

Θεματικοί όροι: Large Language Model, функціональне програмування, лямбда числення, методи неінформованого навчання, functional programming, велика мовна модель, Lambda Calculus, unsupervised learning methods

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://journals.uran.ua/eejet/article/view/298991

База даних публічних реактивних функціональних сигналів

Συνεισφορές: ELAKPI

Θεματικοί όροι: функціональне програмування, сигнали, ефекти, база даних, реактивне програмування, події, черги повідомлень

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://ela.kpi.ua/handle/123456789/70539

The database of public reactive functional signals ; База даних публічних реактивних функціональних сигналів

Συγγραφείς: Вітковський, Д., Теленик, С.

Πηγή: Adaptive Systems of Automatic Control; Vol. 2 No. 45 (2024): Adaptive Systems of Automatic Control; 204-221 ; Адаптивные системы автоматического управления; Том 2 № 45 (2024): Адаптивні системи автоматичного управління; 204-221 ; Адаптивні системи автоматичного управління; Том 2 № 45 (2024): Адаптивні системи автоматичного управління; 204-221 ; 2522-9575 ; 1560-8956

Θεματικοί όροι: database, reactive programming, signals, functional programming, effects, events, message queues, база даних, реактивне програмування, сигнали, функціональне програмування, ефекти, події, черги повідомлень

Περιγραφή αρχείου: application/pdf

Relation: https://asac.kpi.ua/article/view/313200/304233; https://asac.kpi.ua/article/view/313200

Διαθεσιμότητα: https://asac.kpi.ua/article/view/313200

The approach development of data extraction from lambda terms ; Розробка підходу до вилучення даних лямбда-термів

Συγγραφείς: Дейнега, Олександр Андрійович, Донець, Володимир Віталійович, Жолткевич, Григорій Миколайович

Πηγή: Eastern-European Journal of Enterprise Technologies; Vol. 3 No. 2 (129) (2024): Information technology. Industry control systems; 42-54 ; Eastern-European Journal of Enterprise Technologies; Том 3 № 2 (129) (2024): Інформаційні технології. Системи управління в промисловості; 42-54 ; 1729-4061 ; 1729-3774

Θεματικοί όροι: функціональне програмування, лямбда числення, велика мовна модель, методи неінформованого навчання, functional programming, Lambda Calculus, Large Language Model, unsupervised learning methods

Περιγραφή αρχείου: application/pdf

Relation: https://journals.uran.ua/eejet/article/view/298991/296172; https://journals.uran.ua/eejet/article/view/298991

Διαθεσιμότητα: https://journals.uran.ua/eejet/article/view/298991

ANALYSIS OF MECHANISMS AND EFFICIENCY OF SPECIALIZED LANGUAGES OF FUNCTIONAL PROGRAMMING

Συγγραφείς: null I. M. Storchak, null O. P. Ivanov

Πηγή: Nauka ta progres transportu, Iss 6(84), Pp 117-129 (2019)
Наука та прогрес транспорту. Вісник Дніпропетровського національного університету залізничного транспорту; № 6(84) (2019); 117-129
Наука и прогресс транспорта. Вестник Днепропетровского национального университета железнодорожного транспорта; № 6(84) (2019); 117-129
Science and Transport Progress. Bulletin of Dnipropetrovsk National University of Railway Transport; № 6(84) (2019); 117-129

Θεματικοί όροι: TA1001-1280, erlang haskel lisp, f #, 4. Education, 0211 other engineering and technologies, functional programming, 0102 computer and information sciences, 02 engineering and technology, scala, 01 natural sciences, halstead metrics, функціональне програмування, метрики Холстеда, можливості мов, порівняння мов, спеціалізовані функціональні мови, Erlang, Haskel, Lisp, F#, Scala, Transportation engineering, 0203 mechanical engineering, Halstead metrics, language capabilities, language comparison, specialized functional languages, Erlang Haskel Lisp, F #, 0202 electrical engineering, electronic engineering, information engineering, 10. No inequality, функциональное программирование, возможности языков, сравнение языков, специализированые функциональные язики

Περιγραφή αρχείου: application/pdf; text/html

Σύνδεσμος πρόσβασης: http://stp.diit.edu.ua/article/download/195581/198108
https://doaj.org/article/90228e69e120491c8545b612af61c4c6
http://eadnurt.diit.edu.ua/jspui/handle/123456789/11872
http://stp.diit.edu.ua/article/view/195581
http://stp.diit.edu.ua/article/download/195581/198108
http://stp.diit.edu.ua/article/view/195581

Основи програмування. Python. Частина 1

Συνεισφορές: ELAKPI

Θεματικοί όροι: комп'ютерні програми, функціональне програмування, Python

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://ela.kpi.ua/handle/123456789/25111

Тестирование программируемых логических контроллеров на базе ПЛИС с использованием среды функционального программирования ; ТЕСТУВАННЯ ПРОГРАМОВАНИХ ЛОГІЧНИХ КОНТРОЛЕРІВ НА БАЗІ ПЛІС З ВИКОРИСТАННЯМ СЕРЕДОВИЩА ФУНКЦІОНАЛЬНОГО ПРОГРАМУВАННЯ ; TESTING OF PROGRAMMABLE LOGIC CONTROLLER ON FPGA USING FUNCTIONAL PROGRAMMING ENVIRONMENT

Συγγραφείς: В.В. Скляр, В.С. Харченко, А.С. Панарин, А.С. Панарін, V.V. Sklyar, V.S. Kharchenko, A.S. Panarin

Πηγή: Системи обробки інформації. — 2014. — № 1(117). 44-55 ; Системы обработки информации. — 2014. — № 1(117). 44-55 ; Information Processing Systems. — 2014. — № 1(117). 44-55 ; 1681-7710

Θεματικοί όροι: Обробка інформації в складних технічних системах, УДК 4.054, ПЛИС, ForSyDe, функциональное программирование, IP-ядро, soft-процессор, ПЛІС, функціональне програмування, soft-процесор, FPGA, functional programming, IP-core, soft-processor

Περιγραφή αρχείου: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/11349/soi_2014_1_13.pdf; http://www.hups.mil.gov.ua/periodic-app/article/11349

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/11349

ПримЕнЕниЕ функциОнальнОгО подходА В параллельноМ программИрованИИ

Συγγραφείς: Дударь, Зоя Владимировна, Вечур, Александр Владимирович, Городищер, Роман Геннадиевич

Πηγή: Eastern-European Journal of Enterprise Technologies

Θεματικοί όροι: Indonesia, Інформаційні технології, параллелізм, функціональне програмування, модель акторів, scala, erlang, УДК 004.432.4, параллелизм, функциональное программирование, модель актеров, concurrency, functional programming, actor model

Περιγραφή αρχείου: application/pdf

Διαθεσιμότητα: https://www.neliti.com/publications/303327/%D0%BF%D1%80%D0%B8%D0%BC%D0%B5%D0%BD%D0%B5%D0%BD%D0%B8%D0%B5-%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%BE%D0%BD%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B3%D0%BE-%D0%BF%D0%BE%D0%B4%D1%85%D0%BE%D0%B4%D0%B0-%D0%B2-%D0%BF%D0%B0%D1%80%D0%B0%D0%BB%D0%BB%D0%B5%D0%BB%D1%8C%D0%BD%D0%BE%D0%BC-%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B8

Аплікативні системи

Συγγραφείς: Litnarovych, Ruslan Mykolaiovych, Lotiuk, Yurii Heorhiiovych

Θεματικοί όροι: функціональне програмування, мова програмування O'CAML, мова програмування LISP

Περιγραφή αρχείου: application/msword

Σύνδεσμος πρόσβασης: http://essuir.sumdu.edu.ua/handle/123456789/2719

Веборієнтовані програмні засоби моніторингу епідемічного стану в країнах світу

Συνεισφορές: Клятченко, Ярослав Михайлович, ELAKPI

Θεματικοί όροι: функціональне програмування, статистичні дані, пандемія COVID-19, COVID-19 pandemic, functional programming, односторінковий вебдодаток, користувацький інтерфейс, browser, JavaScript programming language, user interface, фреймворк React, statistics, one-page web application, React framework, мова програмування JavaScript, браузер, Node.js, SPA

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://ela.kpi.ua/handle/123456789/43173

Основи програмування. Python. Частина 1

Συγγραφείς: Яковенко, Альона Вікторівна

Θεματικοί όροι: комп’ютерні програми, Python, функціональне програмування

Περιγραφή αρχείου: 195 c.; application/pdf

Relation: Яковенко, А. В. Основи програмування. Python. Частина 1 [Електронний ресурс] : підручник для студентів які навчаються за спеціальністю 122 «Комп’ютерні науки» спеціалізацією «Інформаційні технології в біології та медицині» / А. В. Яковенко; КПІ ім. Ігоря Сікорського. – Електронні текстові дані (1файл: 1,71 Мбайт). – Київ : КПІ ім. Ігоря Сікорського, 2018. – 195 с. – Назва з екрана.; https://ela.kpi.ua/handle/123456789/25111

Διαθεσιμότητα: https://ela.kpi.ua/handle/123456789/25111

APPLICATION OF THE FUNCTIONAL APPROACH IN PARALLEL PROGRAMMING

Πηγή: Eastern-European Journal of Enterprise Technologies; Том 4, № 2(46) (2010): Information technology; 17-20
Восточно-Европейский журнал передовых технологий; Том 4, № 2(46) (2010): Информационные технологии; 17-20
Східно-Європейський журнал передових технологій; Том 4, № 2(46) (2010): Інформаційні технології; 17-20

Θεματικοί όροι: параллелизм, функциональное программирование, модель актеров, scala, erlang, concurrency, functional programming, actor model, scala, erlang, параллелізм, функціональне програмування, модель акторів, scala, erlang, Інформаційні технології, УДК 004.432.4

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://journals.uran.ua/eejet/article/view/2922

Математичне та програмне забезпечення для визначення характерних рис програмного коду

Συνεισφορές: Фіногенов, Олексій Дмитрович, ELAKPI

Θεματικοί όροι: функціональне програмування, шаблони проектування, data flow, потік даних, functional programming, design templates, статичний аналіз коду, static code analysis

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://ela.kpi.ua/handle/123456789/39904

Функціональні структури даних в екосистемі мови Java для використання в багатопоточному контексті

Συνεισφορές: Русанова, Ольга Веніаминівна, ELAKPI

Θεματικοί όροι: функціональне програмування, динамічна пам'ять, багатопоточність, рекурсія, стек

Περιγραφή αρχείου: application/vnd.openxmlformats-officedocument.wordprocessingml.document

Σύνδεσμος πρόσβασης: https://ela.kpi.ua/handle/123456789/38250

Наочне доведення теореми Хомського-Шютценберже в розширеному формулюванні

Συνεισφορές: Спекторський, Ігор Якович, ELAKPI

Θεματικοί όροι: pushdown automaton, Greibach normal form, finite state machine, functional programming, скінченний автомат, нормальна форма Грейбах, функціональне програмування, регулярна мова, regular language, автомат з магазинною пам'яттю, контекстно-вільна мова, Dyck language, правильна дужкова послідовність, Chomsky-Schutzenberger representation theorem, balanced bracket sequence, теорема Хомського-Шютценберже, мова Діка, context-free language

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://ela.kpi.ua/handle/123456789/29538

Науково-практичний семінар 'Комп'ютерні науки та інформаційні технології' (КНІТ-2023). Випуск 2

Συγγραφείς: Ольховська, О. В.

Θεματικοί όροι: тренажер, основні методології програмування, теорія програмування, обчислювальні методи, теорія алгоритмів, нормальні алгоритми, веб-сайт, канбан дошка, С++, програмування, Flutter, crm, функціональне програмування, архітектура обчислювальних систем, системи числення, системний аналіз та теорія прийняття рішень, методологічні основи системного аналізу, планарні графи, дискретна математика, елементи векторної алгебри, алгебра та геометрія, види випадкових подій, теорія ймовірності і математична статистика, інформаційні мережі, Excel VBA, пошукові системи, графи, застосування елементів комбінаторики, сліпий друк, цикли мови С#

Relation: http://dspace.puet.edu.ua/handle/123456789/13014

Διαθεσιμότητα: http://dspace.puet.edu.ua/handle/123456789/13014

Актуальні питання розвитку науки та забезпечення якості освіти у ХХІ столітті : тези доповідей ХLVІ Міжнародної наукової студентської конференції за підсумками науково-дослідних робіт студентів за 2022 рік (студентів кафедри КНІТ, м. Полтава, 25 квітня 2023 р.)

Συγγραφείς: Колектив авторів

Θεματικοί όροι: тренажер, теорія алгоритмів, нормальні алгоритми, обчислювальні методи, метод простої ітерації, інформаційні мережі, теорія програмування, функціональне програмування, системний аналіз та теорія прийняття рішень, дистанційний курс, web-застосунки, теорія ймовірності і математична статистика, програмна реалізація, веб-ресурс, тестування, дискретна математика, задачі комбінаторної оптимізації, задачі комбінаторної оптимізації ігрового типу, випадкові події, основи мови програмування Python, розробка програмного забезпечення, умовна компіляція, локальні і глобальні комп’ютерні мережі, серверні додатки, кратні інтеграли

Relation: http://dspace.puet.edu.ua/handle/123456789/12977

Διαθεσιμότητα: http://dspace.puet.edu.ua/handle/123456789/12977