НаУКМА. Ф-т Інформатики. Захист магістерських робіт. Вступне слово голови комісії Погорілого С.Д. SunSay, Сенсей, Sensei 830 подписчиков Скачать
НаУКМА. Ф-т Інформатики. Захист магістерських робіт. Вступне слово голови комісії Погорілого С.Д. Скачать
"Pengines" ("Prolog Engines") паралельне виконання запитів до SWI-Prolog через HTTP-інтерфейс. Скачать
Чи можливе "ділення" без bagof, setof, forall та findall в запитах до Баз Даних мовою Prolog? Скачать
Логічне vs Функційне vs Імперативне програмування на задачах впорядкування. Адресне впорядкування. Скачать
Арифметичні головоломки із сірниками: прибрати 1. Генератор умов. Prolog (Tau) Haskell, Python Скачать
Впорядкування списків на Haskell, Java та Prolog. Двійкова купа. Багатовимірне адресне впорядкування Скачать
Досвід використання засобів управляння розробкою програмних продуктів: ClickUp, Jira, Trello. Скачать
On this day, 104 years ago, on December 8, 1919, the famous Ukrainian scientist Kateryna Yushchenko Скачать
Карткова гра UNO на Prolog, Haskell & Java. Частина № 2. Висновки, порівняння та демонстрація. Скачать
Реалізація Гри "4 в ряд" на Java, Haskell та на Prolog з графічним інтерфейсом на JavaScript (Json). Скачать
Моделювання мислення для отримання знань. Prolog та Haskell. Логічна задача: "3 ковпака на мудрецях" Скачать
Дисципліна «Розробка та супровід баз знань». НаУКМА, ф-т Інформатики. © Ющенко Юрій Олексійович. Скачать
Інтернет Речей - «Internet of Things» (ІoТ): вибіркова дисципліна. Факультет Інформатики НаУКМА. Скачать
Порівняння Prolog, Haskell та Python на розв'язку задачі з "програмуванням обмежень": "n-ферзів". Скачать
Фактичні та формальні параметри та типи зв’язків. Способи та напрями обміну даними. Лекція 4. Скачать
Задача про вісім ферзів. На Prolog with CLP(FD), на Haskell та на Java. Практичне № 4 (2023). Скачать
Логічне програмування. Лекція № 3 (частина 1). Просто про крок виводу Prolog-інтерпретатора. 2023р. Скачать
Змінні в імперативних та декларативних мовах програмування -Логічне програмування (2023). 1- Ч. № 3. Скачать
Installing SWI-Prolog. Visual Prolog. SWI-Prolog's interactive assistant. Try SWI-Prolog online. Скачать
How the Ukrainian small electronic computer MESM (1950) introduced pointers and changed the world? Скачать