Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>A=Шкільняк С$<.>) |
Загальна кількість знайдених документів : 11
Представлено документи з 1 до 11
|
1. | ВА651018 Нікітченко, Микола Степанович. Математична логіка [Текст] : навч. посібник / М. С. Нікітченко, С. С. Шкільняк ; Київський національний ун-т ім. Тараса Шевченка. - К. : ВПЦ "Київський університет", 2003. - 119 с. - Бібліогр.: с. 118-119. - ISBN 966-594-523-8Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Шкільняк, Степан Степанович; Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| 2. | ВА724236 Шкільняк, Степан Степанович. Математична логіка. Основи теорії алгоритмів [Текст] : навч. посіб. / С. С. Шкільняк ; Міжрегіон. акад. упр. персоналом. - К. : Персонал, 2009. - 279 с. - Бібліогр.: с. 268-269. - 1200 прим. - ISBN 978-966-608-979-6Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
| 3. | РА376553 Шкільняк, Степан Степанович. Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм [Текст] : автореф. дис. ... д-ра фіз.-мат. наук : 01.05.01 / Шкільняк Степан Степанович ; Київ. нац. ун-т ім. Т. Шевченка. - К., 2010. - 32 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| 4. | ВС50604 Нікітченко, Микола Степанович. Математична логіка та теорія алгоритмів [Текст] : підруч. для студ. кіберн. ф-тів вищ. навч. закл. / М. С. Нікітченко, С. С. Шкільняк ; Київ. нац. ун-т ім. Т. Шевченка. - К. : Київський університет, 2008. - 528 с. - Бібліогр.: с. 522-524. - 200 прим. - ISBN 966-439-007-0Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Шкільняк, Степан Степанович; Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
| 5. | ДС125296 Шкільняк, Степан Степанович. Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм [Текст] : дис. ... д-ра фіз.-мат. наук : 01.05.01 / Шкільняк Степан Степанович ; Київ. нац. ун-т ім. Т. Шевченка. - К., 2010. - 348 арк. - Бібліогр.: арк. 294-309.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| 6. | ВА758468 Шкільняк, Степан Степанович. Теорія алгоритмів. Приклади й задачі [Текст] : навч. посіб. / С. С. Шкільняк ; Київ. нац. ун-т ім. Тараса Шевченка. - К. : Київський університет, 2012. - 151 с. - Бібліогр.: с. 150-151. - 100 прим. - ISBN 978-966-439-523-3Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| 7. | ВА791459 Нікітченко, Микола Степанович. Прикладна логіка [Текст] : навч. посіб. / М. С. Нікітченко, С. С. Шкільняк ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ : Київський університет, 2013. - 277 с. : табл. - Бібліогр.: с. 268-274. - 150 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Шкільняк, Степан Степанович; Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| 8. | ВА802633 Нікітченко, Микола Степанович. Теорія алгоритмів [Текст] : навч. посіб. / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ : Київський університет, 2015. - 239 с. - Бібліогр.: с. 235-236. - 100 прим. - ISBN 978-966-439-831-9Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Шкільняк, Оксана Степанівна; Шкільняк, Степан Степанович; Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| 9. | ВА859998 Математична логіка та програмування. Досвід викладання [Текст] : монографія / [Басараб І. А. та ін.] ; Ф-т комп'ютер. наук та кібернетики Київ. нац. ун-ту ім. Тараса Шевченка. - Одеса : Гельветика, 2022. - 211 с. : рис., табл. - Бібліогр. в кінці гл. - 300 прим. - ISBN 978-966-992-782-8Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Басараб, Іван Андрійович; Basarab, Ivan Andriiovych; Волохов, Віктор Миколайович; Volokhov, Victor Mykolaiovych; Губський, Богдан Володимирович; Gubsky, Bogdan Volodymyrovych; Дорошенко, Анатолій Юхимович; Doroshenko, Anatoliy Yukhymovych; Дуцяк, Ігор Зенонович; Dutsiak, Ihor Zenonovych; Зубенко, Віталій Володимирович; Zubenko, Vitalii Volodymyrovych; Іваненко, Павло Андрійович; Ivanenko, Pavlo Andriivych; Іванов, Євген В'ячеславович; Ivanov, Ievgen Vyacheslavovich; Кохан, Ярослав Олексійович; Kokhan, Yaroslav Olexiyovych; Кузенко, Володимир Федорович; Kuzenko, Vladimir Fedorovich; Нікітченко, Микола Степанович; Nikitchenko, Mykola Stepanovych; Омельчук, Людмила Леонідівна; Omelchuk, Liudmyla Leonidivna; Панченко, Тарас Володимирович; Panchenko, Taras Volodymyrovych; Русіна, Наталія Геннадіївна; Rusina, Nataliia Hennadiivna; Ткаченко, Олексій Миколайович; Tkachenko, Oleksii Mykolaiovych; Шишацька, Олена Володимирівна; Shishatska, Olena Volodymyrivna; Шкільняк, Степан Степанович; Shkilnyak, Stepan Stepanovych; Яценко, Олена Анатоліївна; Yatsenko, Olena Anatoliivna; Київський національний університет імені Тараса Шевченка. Факультет комп'ютерних наук та кібернетики
Видання зберігається у :
Основний фонд
| 10. | ВА864239 Шкільняк, Степан Степанович. Математична логіка. Приклади й задачі [Текст] : навч. посіб. / С. С. Шкільняк ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ : Київський університет, 2022. - 303 с. : іл. - Бібліогр.: с. 297-300. - 100 прим. - ISBN 978-966-933-200-4Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
| 11. | ВА871460 Шкільняк, Степан Степанович. Теорія алгоритмів. Приклади та задачі [Текст] : навч. посіб. / С. С. Шкільняк ; Київ. нац. ун-т ім. Тараса Шевченка. - 2-ге вид., перероб. й допов. - Київ : ВПЦ "Київський університет", 2023. - 191 с. - Бібліогр.: с. 188-189. - 100 прим. - ISBN 978-966-933-240-0Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу: Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
|
|