Омельчук Людмила Леонидовна




Surname: Омельчук

Name: Людмила

Last name: Леонидовна

Кандидат физ.-мат. наук

Ассистент,

кандидат физико-математических наук

Родилась 28 марта 1977 г. в г. Киеве. В 1994 г. окончила СШ № 273 и поступила на ф-т кибернетики Киевского национального университета имени Тараса Шевченко. В 1999 г. получила диплом магистра по информатике.

Работает на кафедре с 2005 г. в должности ассистента. В 2007 г. под руководством профессора Никитченко Н.С. защитила кандидатскую диссертацию «Аксиоматические системы спецификаций программ над номинативных данными».

Область научных интересов: формальные методы разработки программ, технологии программирования.

Автор 13 научных трудов.

1. Зубенко В.В. Омельчук Л.Л. Программирование / / М.: ИПЦ «Киевский
университет «, 2011. – 624 с.
2. Омельчук Л.Л. Сравнительный анализ украинских и международных образовательных
стандартов по информатике / / Theoretical and applied aspects of program systems development
(TAAPSD’2007). – Abstracts. – Yalta, Ukraine, 2011. P. 140-145.
3. Омельчук Л.Л. Методические рекомендации к выполнению и оформлению
бакалаврских работ / / К.: Айс Принт, 2011. – 32 с.
4. Омельчук Л.Л. Методические рекомендации к выполнению и оформлению курсовых
работ / / К.: Айс Принт, 2011. – 32 с.
5. Омельчук Л.Л. Формальные методы спецификации программ / / К.: УкрИНТЭИ, 2009.
- 78 с.
6. Омельчук Л.Л. Композиционно-номинативных системы спецификаций программ
для объектно-ориентированного программирования / / Theoretical and applied aspects of program
systems development (TAAPSD’2008). – Abstracts. – Berdyansk, Ukraine, 2007. P. 52-57.
7. Буй Д.Б., Никитченко Н.С., Омельчук Л.Л., Редько В.Н., Шишацкая О.В.
Классификация языков и методов формальных спецификаций программных систем / / Theoretical
and applied aspects of program systems development (TAAPSD’2008). – Abstracts. -
Berdyansk, Ukraine, 2007. P. 27-33.
8. Омельчук Л.Л. Прототип реализации аксиоматической системы спецификаций
программ над метаноминативнимы данным / / Theoretical and applied aspects of program
systems development (TAAPSD’2007). – Abstracts. – Berdyansk, Ukraine, 2007. P. 107-113.
9. Nikolaj Nikitchenko, Ludmila Omelchuk, Stepan Shkilniak: Formalisms for
Specification of Programs over Nominative Data / / Electronic computers and informatics (ECI
2006). – Thesis of conference reports. – Košice – Herľany, Slovakia, 2006. P. 134-139.
10. Омельчук Л.Л. Система спецификаций программ над номинативных данными /
/ Theoretical and applied aspects of program systems development (TAAPSD’2006). -
Abstracts. – Kyiv, Ukraine, 2006. P. 96-100.
11.
Омельчук
Л.Л.
Система
автоматизации
доведение
теорем
теории
метаноминативних данных / / Вестн. Киев. ун-та. Ср.: Физ.-мат. науки. – 2006. – Вып.2. – С.
231-235.
12. икитченко М.С., Шкильняк С.С., Омельчук Л.Л. Логики, ориентированные на
Н
спецификации программ / / Проблемы программирования. – 2006. – № 2-3. – С.17-24.
13.Омельчук Л.Л. Аксиоматические системы для языков спецификаций программ
Theoretical and applied aspects of program systems development (TAAPSD’2004). -
Abstracts. – Kyiv, Ukraine, 2004. P. 57-61.
14. Омельчук Л.Л. Секвенциального исчисления для композиционно-номинативных логик
частичных предикатов / / Вестн. Киев. ун-та. Ср.: Физ.-мат. науки. – 2003. – Вып.4. – С. 270 -
278.
15. Омельчук Л.Л. Секвенциальные исчисления логик частичных предикатов /
/ Dynamical system modelling and stability investigation. – Thesis of conference reports. -
Kyiv, Ukraine, 2003. P. 410.
16. Омельчук Л.Л. Обчислюванисть функций над метаноминативнимы данным / /
Рос. Киев. ун-та. Ср.: Физ.-мат. науки. – 2001. – Вып.1. – С. 275-286.

Новини
Дошка оголошень
Цікаві факти