Системний аналіз і методологія алгебри алгоритмів
No Thumbnail Available
Date
2012
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Видавництво Львівської політехніки
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.
Description
Keywords
алгоритміка, алгебра алгоритмів, математична модель, аксіоматичний метод, неповна аксіоматика, algorithmics, algorithms algebra, mathematical model, axiomatic method, incomplet axiomatics
Citation
Драґан Я. Системний аналіз і методологія алгебри алгоритмів / Я. Драґан, В. Овсяк // Вісник Національного університету "Львівська політехніка". – 2012. – № 732 : Комп’ютерні науки та інформаційні технології. – С. 91-95. – Бібліографія: 17 назв.