Spremljaj
Людмила Леонідівна Омельчук, Liudmyla L. Omelchuk
Людмила Леонідівна Омельчук, Liudmyla L. Omelchuk
Taras Shevchenko National University of Kyiv
Preverjeni e-poštni naslov na knu.ua - Domača stran
Naslov
Navedeno
Navedeno
Leto
Програмування. Поглиблений курс
ВВ Зубенко, ЛЛ Омельчук
К.: ВПЦ" Київ. ун 2011, 2011
92011
Програмування: навчальний посібник (гриф МОН України)
ВВ Зубенко, ЛЛ Омельчук
К.: ВПЦ «Київський університет 623, 2011
62011
Формальні методи специфікації програм
ЛЛ Омельчук
Київ: УкрІНТЕІ, 2010
52010
Порівняльний аналіз українського стандарту освітньо-професійної підготовки з інформатики 2010 року та державного освітнього стандарту вищої професійної освіти з інформатики та …
ЛЛ Омельчук
Актуальні проблеми підготовки спеціалістів ІКТ (АППСІКТ-2013), 15 –19 травня …, 2013
42013
Порівняльний аналіз українського стандарту освітньо-професійної підготовки з інформатики та Computer Science’2013
ЛЛ Омельчук
Інформатика та системні науки (ІСН-2013): матеріали ІV Всеукр. наук.-практ …, 2013
42013
Порівняльний аналіз українського стандарту освітньо-професійної підготовки з інформатики та Computer Science’2013
ЛЛ Омельчук
Вісник київського національного університету. Серія: фіз.-мат. науки., С …, 2013
42013
Порівняльний аналіз українського стандарту освітньо-професійної підготовки з інформатики та міжнародного стандарту Computer Science’2013
ОЛЛ Нікітченко М.С.
Актуальні проблеми підготовки спеціалістів ІКТ (АППСІКТ-2013), 15 –19 травня …, 2013
22013
Compositional-nominative approach to the client-server systems properties proofs within different formal execution models
T Panchenko, O Shyshatska, L Omelchuk, N Rusina, S Fabunmi
2019 IEEE 2nd Ukraine Conference on Electrical and Computer Engineering …, 2019
12019
Development of the ICT-standard of Higher Education in Ukraine within the Framework of European Requirements.
L Omelchuk, N Rusina, O Shyshatska
ICTERI, 262-273, 2019
12019
Зміст дисциплін циклу професійної та практичної підготовки фахівців з інформатики
ЛЛ Омельчук
Вісник Національного технічного університету України" КПІ". Філософія …, 2014
12014
Methods of Automated Analysis of Curricula According to the Higher Education Standard
L Omelchuk, A Kryvolap, T Panchenko, N Rusina, O Shyshatska, ...
IJCSNS International Journal of Computer Science and Network Security 23, 32-42, 2023
2023
Об’єктно-орієнтоване програмування. Лабораторний практикум: навчальний посібник
ЛЛ Омельчук
http://csc.knu.ua/media/filer_public/29/22/29222da5-a099-4c6e-8b21 …, 2021
2021
Порівняння освітніх програм в розрізі досяжності компетентностей і результатів навчання обов’язковими освітніми компонентами
ЛЛ Омельчук, НГ Русіна
Вісник Київського національного університету імені Тараса Шевченка Серія …, 2021
2021
Впровадження методики інтеграції навчальних курсів на основі проєктного підходу та гнучких методологій управління
ОШ Л.Омельчук, О.Ткаченко
Програмування: теорія та практика. Збірник матеріалів за результатами ІТ …, 2021
2021
Аналіз освітньо-професійних програм за спеціальністю 122 Комп’ютерні науки в розрізі програмних результатів навчання
ЛЛ Омельчук, НГ Русіна
Вісник Київського національного університету імені Тараса Шевченка Серія …, 2021
2021
Автоматизований аналіз освітньопрофесійної програми «Інформатика», що реалізується на факультеті комп’ютерних наук та кібернетики, з програмами інших закладів вищої освіти за …
ЛЛ Омельчук, НГ Русіна
Вісник Київського національного університету імені Тараса Шевченка Серія …, 2020
2020
SMT-LIB Theory of Nominative Data
L Omelchuk, O Shyshatska
Information and Communication Technologies in Education, Research, and …, 2020
2020
Extending the SMT-Lib Standard with Theory of Nominative Data
L Omelchuk, O Shyshatska
2019
Стандарт вищої освіти за спеціальністю 121 "Інженерія програмного забезпечення" для першого (бакалаврського) рівня вищої освіти
МС Нікітченко, ЗВ Дудар, АМ Глибовець, ОГ Байбуз, ОГ Ворочек, ...
https://mon.gov.ua/storage/app/media/vishcha-osvita/zatverdzeni%20standarty …, 2018
2018
Стандарт вищої освіти за спеціальністю" Інженерія програмного забезпечення" як інструмент забезпечення якості IT-освіти в Україні
ЛЛ Омельчук
Тернопіль, ТНЕУ, 2017
2017
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20