Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Проблеми програмування, 2019, № 3 за датою випуску

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування, 2019, № 3 за датою випуску

Сортувати за: Порядок: Результатів:

  • До уваги авторів! 
    Автор відсутній (Проблеми програмування, 2019)
  • Програмна система аналізу хмарності за даними супутникових спостережень 
    Дорошенко, А.Ю.; Шпиг, В.М.; Овдій, О.М. (Проблеми програмування, 2019)
    У даній роботі за допомогою онлайнового діалогового конструктору для автоматизації проектування робочих процесів ОКРП було спроектовано робочий процес для обробки архіву супутникових знімків з метою аналізу показників ...
  • Платформи великих даних. Основні задачі, властивості та переваги 
    Захарова, О.В. (Проблеми програмування, 2019)
    Дана робота представляє огляд існуючих платформ великих даних. Мета полягає у визначені основних проблем та рішень, які існують в цій сфері, а також властивостей платформ великих даних, що визначають їх можливості, переваги ...
  • Что такое Big Data 
    Резниченко, В.А. (Проблеми програмування, 2019)
    В статье делается попытка раскрытия сути понятия Big Data на основе анализа материалов из различных источников. Даются определяющие характеристики Big Data, приводится их классификация, кратко описывается история возникновения ...
  • Задачі та методи аналізу великих даних (огляд) 
    Балабанов, О.С. (Проблеми програмування, 2019)
    Розглянуто основні задачі та методи глибокого аналізу великих даних. У викладі зроблено акцент на «фізичному» сенсі задач і методів, без математичних деталей.
  • Основы программирования в контексте инженерии программного обеспечения 
    Сидоров, Н.А. (Проблеми програмування, 2019)
    Рассматривается применение конструктивного подхода к построению текстов программ, который систематически культивируется в инженерии программного обеспечения и стало возможным благодаря ряду фундаментальных результатов, ...
  • Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності 
    Шкільняк, C.С. (Проблеми програмування, 2019)
    Досліджено нові програмно-орієнтовані логіки часткових предикатів з операцією (композицією) предикатного доповнення, такі логіки названо LC. Для першопорядкових LC запропоновано низку відношень логічного наслідку та відношень ...
  • Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення 
    Шкільняк, О.С. (Проблеми програмування, 2019)
    Досліджено нові програмно-орієнтовані логіки часткових предикатів з операцією (композицією) предикатного доповнення, такі логіки названо LC. Для першопорядкових LC запропоновано низку відношень логічного наслідку та відношень ...
  • Модификация метаязыка нормальных форм знаний 
    Кургаев, А.Ф. (Проблеми програмування, 2019)
    Набор базовых отношений метаязыка нормальных форм знаний (альтернатива, конкатенация, отрицание и итерация) расширен двумя новыми отношениями: обязательности (не нулевым числом повторений), необязательности некоторой ...
  • Титульні сторінки та зміст 
    Автор відсутній (Проблеми програмування, 2019)

Пошук


Розширений пошук

Перегляд

Мій обліковий запис