Титульні сторінки та зміст

Титульні сторінки та зміст

Saved in:
Bibliographic Details
Date:2019
Format: Article
Language:Ukrainian
Published: Інститут програмних систем НАН України 2019
Series:Проблеми програмування
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/161492
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Титульні сторінки та зміст // Проблеми програмування. — 2019. — № 3. — С. 1-2. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-161492
record_format dspace
fulltext НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРАÏНИ IНСТИТУТ ПРОГРАМНИХ СИСТЕМ ISSN 1727-4907 П Р О Б Л Е М И ПРОГРАМУВАННЯ НАУКОВИЙ ЖУРНАЛ P R O B L E M S IN PROGRAMMING SCIENTIFIC JOURNAL 2019 № 3 Теми випуску:  Теоретичні та методологічні основи програмування  Методи та засоби програмної інженерії  Моделі та засоби систем баз даних і знань  Експертні та інтелектуальні інформаційні системи  Прикладні засоби програмування та програмне забезпечення НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРАÏНИ IНСТИТУТ ПРОГРАМНИХ СИСТЕМ ПРОБЛЕМИ ПРОГРАМУВАННЯ науковий журнал № 3 липень – вересень 2019 Заснований у березні 1999 р. ЗМІСТ Теоретичні та методологічні основи програмування Кургаев А.Ф. Модификация метаязыка нормальных форм знаний 3 Шкільняк О.С. Відношення логічного наслідку в логіках часткових предика- тів з композицією предикатного доповнення 11 Шкільняк C.С. Першопорядковi композиційно-номінативні логіки з преди- катами слабкої та строгої рівності 28 Методи та засоби програмної інженерії Сидоров Н.А. Основы программирования в контексте инженерии програм- много обеспечения 45 Моделі та засоби систем баз даних і знань Балабанов О.С. Задачі та методи аналізу великих даних (огляд) 58 Резниченко В.А. Что такое Big Data 86 Експертні та інтелектуальні інформаційні системи Захарова О. Платформи великих даних. Основні задачі, властивості та пе- реваги 101 Прикладні засоби програмування та програмне забезпечення Дорошенко А.Ю., Шпиг В.М., Овдій О.М. Програмна система аналізу хмарності за даними супутникових спостережень 116 Свідоцтво про державну реєстрацію КВ № 7490 від 01.07.2003 Науковий журнал “Проблеми програмування” занесений до переліку наукових фахових видань України, в яких можуть публікуватися основні результати дисертаційних робіт. ISSN 1727-4907 .  Інститут програмних систем НАН України, 2019 NATIONAL ACADEMY OF SCIENCES OF UKRAINE INSTITUTE OF SOFTWARE SYSTEMS PROBLEMS IN PROGRAMMING scientific journal № 3 July – September 2019 Founded in March, 1999 CONTENTS Theory and methodology of programming Kurgaev A.F. The modification of the meta-language of normal forms of knowledge 3 Shkilniak O.S. Relations of logical consequence in logics of partial predicates with composition of predicate complement 11 Shkilniak S.S. First-order composition-nominative logics with predicates of weak equality and of strong equality 28 Methods and facilities of software engineering Sydorov М.О. Basics of programming in the context of software engineering 45 Models and facilities for data and knowledge bases Balabanov O.S. Tasks and methods of Big Data analysis (a survey) 58 Reznichenko V.A. What is Big Data 86 Expert and intelligent information systems Zakharova O. Big data platforms. Main objectives, features and advantages 101 Critical Systems Software Doroshenko A.Yu., Shpyg V.M., Ovdii O.M. Software system for ana- lyzing cloudiness based on satellite observations 116
spelling irk-123456789-1614922019-12-12T01:26:36Z Титульні сторінки та зміст 2019 Article Титульні сторінки та зміст // Проблеми програмування. — 2019. — № 3. — С. 1-2. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/161492 uk Проблеми програмування Інститут програмних систем НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Ukrainian
format Article
title Титульні сторінки та зміст
spellingShingle Титульні сторінки та зміст
Проблеми програмування
title_short Титульні сторінки та зміст
title_full Титульні сторінки та зміст
title_fullStr Титульні сторінки та зміст
title_full_unstemmed Титульні сторінки та зміст
title_sort титульні сторінки та зміст
publisher Інститут програмних систем НАН України
publishDate 2019
url http://dspace.nbuv.gov.ua/handle/123456789/161492
citation_txt Титульні сторінки та зміст // Проблеми програмування. — 2019. — № 3. — С. 1-2. — укр.
series Проблеми програмування
first_indexed 2025-07-14T14:03:20Z
last_indexed 2025-07-14T14:03:20Z
_version_ 1837631328624836608

Similar Items