Шкільняк Степан Степанович
ШКІЛЬНЯ́К Степан Степанович (24. 05. 1951, Тернопіль) — фахівець у галузі теорії програмування. Доктор фізико-математичних наук (2010), професор (2013). Державна премія України в галузі освіти (2018). Закінчив Київський університет імені Т. Шевченка (1973), де відтоді й працює: від 2013 — професор кафедри теорії та технології програмування. Наукові дослідження: програмно-орієнтовані логічні формалізми; логіко-математичні засоби специфікації та верифікації програм; логіки з нетрадиційними семантиками; числення секвенційного типу.
Додаткові відомості
- Основні праці
- Теорія алгоритмів: Навч. посіб. К., 2003 (співавт.); Математична логіка та теорія алгоритмів: Підруч. К., 2008 (співавт.); Математична логіка. Основи теорії алгоритмів: Навч. посіб. К., 2009; Tеорія алгоритмів. Приклади й задачі: Навч. посіб. К., 2012; 2023; Прикладна логіка: Навч. посіб. К., 2013 (співавт.); Теорія алгоритмів: Навч. посіб. K., 2015 (співавт.); Математична логіка та програмування. Досвід викладання. О., 2022 (співавт.); Математична логіка. Приклади й задачі: Навч. посіб. К., 2022.
Завантажити статтю
