Synthesis theory in action: deductive derivation of algorithms for application software (Record no. 2173807)
[ view plain ]
000 -Маркер запису | |
---|---|
Маркер (контрольне поле довжиною 24 байти) | 03399naa 2200349| 4500 |
001 - Ідентифікатор запису | |
Ідентифікатор запису | 2173807 |
100 ## - Дані загальної обробки | |
Дані загальної обробки | 20240424 ukry50 |
101 ## - Мова | |
Мова тексту, звукової доріжки тощо | англійська |
102 ## - Країна публікації/виробництва | |
Країна публікації | Україна |
200 ## - Назва | |
Основна назва | Synthesis theory in action: deductive derivation of algorithms for application software |
Загальне визначення матеріалу носія інформації | Електронний ресурс |
Перші відомості про відповідальність | V. Kolisnyk, O. Bodyk |
320 ## - Примітки | |
Текст примітки | Бібліогр. в кінці ст. |
330 ## - Короткий зміст | |
Текст примітки | The entirety of the processes that an individual perceives and instigates are intricate. Although many professions have established techniques for constructing intricate entities, there currently exists no universally applicable concepts or methodologies for comprehensively studying, designing, producing, or generating complicated items.The objective of this work is two-fold: firstly, to develop a comprehensive methodology for analysing complex synthetic processes, and secondly, to propose universal models or synthesis mechanisms that can be used to systematically derive specific process synthesis algorithms for various practical applications. |
330 ## - Короткий зміст | |
Текст примітки | Сукупність процесів, які людина сприймає та ініціює, є складною. Незважаючи на те, що в багатьох професіях є методи створення складних об’єктів, наразі не існує універсальних концепцій чи методологій для всебічного вивчення, проектування, виробництва або генерування складних предметів. Мета цієї роботи двояка: по-перше, розробити комплексну методологію для аналізу складних синтетичних процесів, а по-друге, запропонувати універсальні моделі або механізми синтезу, які можна використовувати для систематичного виведення конкретних алгоритмів синтезу процесів для різних практичних застосувань. |
463 ## - Окрема фізична одиниця | |
Дата публікації | 2023 |
Номер розділу або частини | Vol. 6, No.2 |
Назва | Epistemological studies in Philosophy, Social and Political Sciences |
Позначення тому (сторінки, розділ) | pp. 11–26 |
Міжнародний стандартний номер серіального видання – ISSN | 2618-1274 (Print) |
-- | 2618-1282 (Online) |
510 ## - Паралельна основна назва | |
Паралельна назва | Теорія синтезу в дії: дедуктивний вивід алгоритмів для прикладного програмного забезпечення |
Мова назви | українська |
606 ## - Предмет | |
Предмет | Комп’ютерні системи та мережі |
Тематичний підзаголовок | Комп"ютерне програмування |
610 ## - Ключові слова | |
Предмет | theory of synthesis |
610 ## - Ключові слова | |
Предмет | method of synthesis |
610 ## - Ключові слова | |
Предмет | deductive reasoning |
610 ## - Ключові слова | |
Предмет | algorithm synthesis |
610 ## - Ключові слова | |
Предмет | теорія синтезу |
610 ## - Ключові слова | |
Предмет | метод синтезу |
610 ## - Ключові слова | |
Предмет | дедуктивне мислення |
610 ## - Ключові слова | |
Предмет | синтез алгоритму |
675 ## - УДК | |
Індекс | 004.9 |
700 ## - Особисте ім’я | |
Автор | Колісник |
Ініціали (остатня частина імені) | В. Г. |
Розкриття ініціалів | Валерій Георгійович |
701 ## - Ім’я особи – альтернативна інтелектуальна відповідальність | |
Прізвище (початкова частина імені) | Бодик |
Ініціали (остатня частина імені) | О. П. |
Розкриття ініціалів | Остап Петрович |
Службові відомості про особу | Маріупольский державний університет (м. Київ) |
005 - Ідентифікатор версії | |
Ідентифікатор версії | 20240424120535.0 |
801 ## - Джерело походження запису | |
Код бібліографічного формату | unimarc |
Країна | Україна |
Правила каталогізації | psbo |
856 40 - Електронна адреса та доступ | |
URL | http://repository.mu.edu.ua/jspui/handle/123456789/6014 |
942 ## - Додаткові дані (Коха) | |
Тип одиниці (рівень запису) | Електронні ресурси |
Розділ знань | 004 — Комп’ютерна наука і технологія. Оброблення даних |
Статус приховування в ЕК | Не приховувати в ЕК |
No items available.