Титульні сторінки та зміст
Gespeichert in:
| Datum: | 2019 |
|---|---|
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2019
|
| Schriftenreihe: | Проблеми програмування |
| Online Zugang: | http://dspace.nbuv.gov.ua/handle/123456789/161492 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Титульні сторінки та зміст // Проблеми програмування. — 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 |