Захарія, Л. М.2020-03-272020-03-27Захарія Л. М. Алгебро-граматичні формалізми автоматизації проектування алгоритмічних знань предметних областей / Л. М. Захарія // Вісник Національного університету “Львівська політехніка”. — Львів : Видавництво Національного університету “Львівська політехніка”, 2000. — № 406 : Інформаційні системи та мережі. — С. 101–111.https://ena.lpnu.ua/handle/ntb/47961The article contains investigation of metaalgebra, oriented on generation of algebraic and algorithmic formalisms connected with multilevel structured design method of algorithms and programs classes. For created metaalgebra sufficient criteria of functional completeness are established. Design process is oriented on creation of algorithmic knowledge used to generate algorithms as well as their classes. This knowledge together with definite relation types between them, which are being established at design time, puts together application domain algorithmic knowledge base. Array sortings knowledge base developed using such an approach is the basis of created SORT expert system.101-111ukАлгебро-граматичні формалізми автоматизації проектування алгоритмічних знань предметних областейArticle© Національний університет “Львівська політехніка”, 2005© Л. М. Захарія, 200011681.3Zakhariia L. M. Alhebro-hramatychni formalizmy avtomatyzatsii proektuvannia alhorytmichnykh znan predmetnykh oblastei / L. M. Zakhariia // Visnyk Natsionalnoho universytetu "Lvivska politekhnika". — Lviv : Vydavnytstvo Natsionalnoho universytetu "Lvivska politekhnika", 2000. — No 406 : Informatsiini systemy ta merezhi. — P. 101–111.