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

Посада:
професор
Науковий ступінь:
доктор фізико-математичних наук
Звання:
професор
Аудиторія:
№ 611
Телефон:
E-mail:
Наукові інтереси:
логіко-математичні засоби специфікацій програм; математична логіка.
Назва статті Автор(и) Видання
Секвенційні числення першопорядкових логік однозначних квазіарних предикатів Шкільняк С.С. Проблеми програмування. – 2012. – № 1 – C. 34–51
Спеціальні відношення логічного наслідку в логіках квазіарних предикатів Шкільняк С.С. Проблеми програмування. – 2011. – № 4 – C. 36–48
Логики квазиарных предикатов первого порядка Шкільняк С.С. Кибернетика и системный анализ. – 2010. – № 6 – С. 32–49
Композиційно-номінативні логіки над ієрархічними даними Шкільняк С.С., Нікітченко М.С. Проблеми програмування. – 2010. – № 2–3 – C. 48–57
Відношення логічного наслідку в композиційно-номінативних логіках Шкільняк С.С. Проблеми програмування. – 2010. – № 1 – C. 15–38
Неокласичні алгебри та їх гомоморфізми Шкільняк С.С. Наукові записки НаУКМА. Серія: Комп’ютерні науки. – 2009. – Т. 99. – C. 14–22
Інтенсіонально-орієнтований підхід до побудови логічних систем Шкільняк С.С., Нікітченко М.С. Пробл. програмування. – 2007. – № 2. – C. 15–40