https://oldena.lpnu.ua/handle/ntb/14864
Title: | Системний аналіз і методологія алгебри алгоритмів |
Authors: | Драґан, Я. Овсяк, В. |
Bibliographic description (Ukraine): | Драґан Я. Системний аналіз і методологія алгебри алгоритмів / Я. Драґан, В. Овсяк // Вісник Національного університету "Львівська політехніка". – 2012. – № 732 : Комп’ютерні науки та інформаційні технології. – С. 91-95. – Бібліографія: 17 назв. |
Issue Date: | 2012 |
Publisher: | Видавництво Львівської політехніки |
Keywords: | алгоритміка алгебра алгоритмів математична модель аксіоматичний метод неповна аксіоматика algorithmics algorithms algebra mathematical model axiomatic method incomplet axiomatics |
Abstract: | Наведено результати системного аналізу проблеми побудови алгебри та метатеорії алгебри алгоритмів у сучасній інформатиці з акцентом на конечність розроблення базової алгебри, що має бути відкрита за допомогою аналізу конкретної ситуації навіть за неповної аксіоматики. 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. |
URI: | https://ena.lpnu.ua/handle/ntb/14864 |
Content type: | Article |
Appears in Collections: | Комп'ютерні науки та інформаційні технології. – 2012. – №732 |
File | Description | Size | Format | |
---|---|---|---|---|
15_Dragan_91_95_732.pdf | 183.86 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.