Титульні сторінки та зміст
Gespeichert in:
| Datum: | 2012 |
|---|---|
| Veröffentlicht: |
Інститут програмних систем НАН України
2012
|
| Online Zugang: | http://dspace.nbuv.gov.ua/handle/123456789/86634 |
| 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: | Титульні сторінки та зміст // Проблеми програмування. — 2012. — № 4. — С. 1-5 . — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-86634 |
|---|---|
| record_format |
dspace |
| fulltext |
НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРА ÏНИ
IНСТИТУТ ПРОГРАМНИХ СИСТЕМ
ISSN 1727-4907
П Р О Б Л Е М И
ПРОГРАМУВАННЯ
НАУКОВИЙ ЖУРНАЛ
P R O B L E M S
IN
PROGRAMMING
SCIENTIFIC JOURNAL
2012
№ 4
Теми випуску:
• Теоретичні та методологічні основи
програмування
• Програмування для комп’ютерних мереж та
Internet
• Формальні методи розробки програмного
забезпечення
• Інструментальні засоби та середовища
програмування
• Експертні та інтелектуальні інформаційні
системи
• Прикладні засоби програмування та
програмне забезпечення
НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРАÏНИ
IНСТИТУТ ПРОГРАМНИХ СИСТЕМ
ПРОБЛЕМИ
ПРОГРАМУВАННЯ
науковий журнал
№ 4 жовтень-грудень 2012
Заснований у березні 1999 р.
ЗМІСТ
Теоретичні та методологічні основи програмування
Лавріщева К.М. Компонентне програмування. Теорія і реалізація 3
Нікітченко М.С., Шкільняк С.С. Логіки квазіарних предикатів
кванторно-екваційного рівня 19
Провотар О.І., Лапко О.В. Про нові методи опису невизначених величин 35
Щегельський Т.С., Провотар О.О., Провотар О.І. Аналіз систем
нечіткої логіки для апроксимації нечітких функцій 43
Програмувaння для комп’ютерних мереж Internet
Ігнатенко О.П. Одна динамічна конфліктно керована модель взаємодії
користувачів у відкритих інформаційних середовищах 50
Інструментальні засоби та середовища програмування
Кожаев В.В. Иструментарий создания игровой логики 64
Формальні методи розробки програмного забезпечення
Колчин А.В., Летичевский А.А., Потиенко С.В., Песчаненко В.С.
Обзор современных систем и методов верификации формальных моделей 75
Експертні та інтелектуальні інформаційні системи
Захарова О., Міненко В. Технологія оптимального вибору варіантів на
основі семантичного аналізу інформаційних об’єктів бізнес-процесу 89
Прикладні засоби програмування та програмне забезпечення
Алексеєв В.А., Мостовий В.В., Терещенко В.С., Яловець А.Л.
Архітектура та функціональні можливості системи ситуаційного керування охороною зон
відповідальності 96
Мердух С.Л., Медведєв Р.Б. Пакет прикладних програм для розрахунку
безперервних та дискретних моделей динамічних процесів у контурах керування 105
Терещенко А.Н., Задирака В.К. Оптимизация умножения больших
N-разрядных чисел на основе N-разрядных ДПФ 116
Свідоцтво про державну реєстрацію КВ № 7490 від 01.07.2003
Науковий журнал “Проблеми програмування" занесений до переліку наукових видань ВАК України, в яких
можуть публікуватися основні результати дисертаційних робіт.
ISSN 1727-4907 . © Інститут програмних систем
НАН України, 2012
|
| spelling |
irk-123456789-866342015-09-25T03:01:40Z Титульні сторінки та зміст 2012 Титульні сторінки та зміст // Проблеми програмування. — 2012. — № 4. — С. 1-5 . — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/86634 Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Титульні сторінки та зміст |
| spellingShingle |
Титульні сторінки та зміст |
| title_short |
Титульні сторінки та зміст |
| title_full |
Титульні сторінки та зміст |
| title_fullStr |
Титульні сторінки та зміст |
| title_full_unstemmed |
Титульні сторінки та зміст |
| title_sort |
титульні сторінки та зміст |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2012 |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/86634 |
| citation_txt |
Титульні сторінки та зміст // Проблеми програмування. — 2012. — № 4. — С. 1-5 . — укр. |
| first_indexed |
2025-07-06T14:07:45Z |
| last_indexed |
2025-07-06T14:07:45Z |
| _version_ |
1836906830975991808 |