Системний аналіз і методологія алгебри алгоритмів
Електронний науковий архів Науково-технічної бібліотеки Національного університету "Львівська політехніка"
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Системний аналіз і методологія алгебри алгоритмів
|
|
| Creator |
Драґан, Я.
Овсяк, В. |
|
| Subject |
алгоритміка
алгебра алгоритмів математична модель аксіоматичний метод неповна аксіоматика algorithmics algorithms algebra mathematical model axiomatic method incomplet axiomatics |
|
| Description |
Наведено результати системного аналізу проблеми побудови алгебри та метатеорії алгебри алгоритмів у сучасній інформатиці з акцентом на конечність розроблення базової алгебри, що має бути відкрита за допомогою аналізу конкретної ситуації навіть за неповної аксіоматики. There are exposed the results of system analysis of the problem for construction of algebra and metatheory of algorithms algebra in contemporary informatics with accent on necessity of elaboration of basic algebra that to be discovered by the process of concrete situation analysis even provided incomplet axiomatics.
|
|
| Date |
2012-10-03T08:03:46Z
2012-10-03T08:03:46Z 2012 |
|
| Type |
Article
|
|
| Identifier |
Драґан Я. Системний аналіз і методологія алгебри алгоритмів / Я. Драґан, В. Овсяк // Вісник Національного університету "Львівська політехніка". – 2012. – № 732 : Комп’ютерні науки та інформаційні технології. – С. 91-95. – Бібліографія: 17 назв.
http://ena.lp.edu.ua:8080/handle/ntb/14864 |
|
| Language |
ua
|
|
| Publisher |
Видавництво Львівської політехніки
|
|