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

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

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

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

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

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

Пошук


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

Перегляд

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