Овсяк Володимир Казимирович
ОВСЯ́К Володимир Казимирович (03. 01. 1953, с. Малехів Микол. р-ну Дрогоб. обл., нині у межах м. Новий Розділ Стрий. р-ну Львів. обл.) — фахівець у галузі математичного моделювання. Доктор технічних наук (1996), професор (2001). Закін. Львів. політех. інститут (1974). Працював у Н.-д. радіотех. інституті (1974–77); СКТБ Фіз.-мех. інституту (1977–92); від 1992 — в Укр. академії друкарства (усі — Львів): від 1997 — професор кафедри автоматизації та комп’ютер. технологій. Наукові дослідження: теорія й технологія програмування; інформ. технології і системи; синтез, оптимізація й вивчення алгоритмів комп’ютер. та інформ. систем.
Додаткові відомості
- Основні праці
- Алгоритми: аналіз методів, алгебра впорядкувань, моделі, моделювання. Л., 1996; Алгебра алгоритмів // Комп’ютерні технології друкарства. 2000. № 3; Модель декомпозиції функціональної підсистеми генерування баз даних // Там само. 2012. № 28 (співавт.); Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов // УСМ. 2013. № 1 (співавт.); Аналіз впорядкованості значень у формулі математичної індукції // Комп’ютерні технології друкарства. 2016. № 2 (співавт.); Основи позиційної логіки // Там само. 2019. № 1.
Завантажити статтю
Людина 
