ЕНЦИКЛОПЕДІЯ
Київського національного університету імені Тараса Шевченка

Шкільняк Степан Степанович

24.05.1951

Місце народження: м. Тернопіль.
Науковий ступінь: кандидат фізико-математичних наук.
Наукове звання: доцент.

1973 закінчив ф-т кібернетики Київ. ун-ту, 1977 - асп-ру ф-ту кібернетики, каф. теорії програмування. Працює в ун-ті з 1973 на посаді інженера, з 1974  старш. інженера, з 1976  старш. наук. співроб., з 1979  асист., з 1980  старш. викл., з 1983  доц. каф. теорії та технології програмування. Канд. дис. “Дослідження синтаксичної структури мов програмування” (1979). Займався дослідженнями синтаксичної структури мов програмування, вивченням програмних алгебр та логік. У співпраці з проф. М.С. Нікітченком побудовано широкий спектр композиційно-номінативних логік різних рівнів абстракції і загальності, які істотно узагальнюють класичні логіки предикатів. Для таких логік розроблені й досліджені семантичні моделі та формально-аксіоматичні системи гільбертівського і секвенційного типу. Запропоновані логіки є потужними формалізмами для опису та моделювання різноманітних предметних областей і програмних систем. Опубліковано 130 наук. та навч.-метод. праць, в т. ч. 1 підруч., 10 навч. посіб. Осн. праці: Теорія алгоритмів. К., 2003 (у співавт.); Теорія алгоритмів: приклади і задачі. К., 2003; Мат. логіка. К., 2006 (у співавт.); Мат. логіка. Приклади і задачі. К., 2007; Мат. логіка та теорія алгоритмів. К., 2008 (у співавт.).

Автор:

Карта місця народження: 
завантаження карти...

  • Останні зміни:
Повернутися до підрозділу >



Інститути, факультети

Коледжі, ліцеї

Загальноуніверси- тетські інституції

Адміністративні та фінансові підрозділи

Громадські об’єднання

Тематичні розділи