|
Головна »
Про кафедру
»
Співробітники кафедри
»
Пустоваров Володимир Ілліч
»
Про викладача
|
|
Пустоваров Володимир Ілліч
кандидат технічних наук, доцент
|
Про викладача
Викладає такі дисципліни:
-
«Системне програмування »
-
«Об’єктно-орієнтоване програмування»
-
«Логічне програмування»
-
«Проектування та дослідження інтелектуальних систем»
-
«Технології системного програмування»
Наукова діяльність:
Розробка та дослідження методів семантичного аналізу природних та комп’ютерних мов в системах штучного інтелекту.
Автоматизація аналізу специфікацій та формальної верифікації для систем автоматизації програмування та моделювання.
Публікації
Автор 160 наукових праць, з яких 3 навчальних посібників, 15 методичних вказівок. В тому числі:
-
Пустоваров В.І. / Язык ассемблера в программировании информационных и управляющих систем. М: "Энтроп", К: "Век", 1996, 304 с.// 2-е изд. К: “Юниор”, 1997, 300 с., К: “Век”, М: “Энтроп”, М: “ДЕСС”, 1998, 301 с.
-
Пустоваров В.І. / Ассемблер: программирование и анализ корректности машинных программ// К: BHV, 2000,480с.
-
Пустоваров В.І., Виноградов Я.Ю., ОгородникВ.В.// Эффективная организация внутренних представлений в реализации языкаVerilogHDL// Вiсник КПI. Інформатика, управління та обчислювальна техніка. К, «ВЕК+», 2001, 35, с. 14-21.
-
Пустоваров В.І., О.М.Знайко, В.В.Огородник// Организация семантической обработки моделей на языке VERILOG HDL универсальным реконструктором//Труды 4-й международной научно-практической конференции «Современные информационные и электронные технологии», Одесса, 2003, с. 122.
-
Пустоваров В.І., //Супроводження контролю відповідності програм і моделей формальним специфікаціям задач.// Вісник Національного технічного університету “Київський політехнічний інститут”. Інформатика, управління та обчислювальна техніка. К.: «Век+». – 2007.– 47.– с. 269 – 279.
-
Пустоваров В.І., Кизима С.В.// Використання контекстно-довільних граматик для організації діалогу в мультимедійних системах// Міжнародна науково-технічна конференція «Інтелектуальні технології лінгвістичного аналізу», 6-8 жовтня 2008р, тези доповідей. – К. НАУ, 2008. с.10
-
Пустоваров В.І.//Побудова баз знань для сумісного створення програм і обладнання та їх формальної верифікації.// Вісник Національного технічного університету “Київський політехнічний інститут”. Інформатика, управління та обчислювальна техніка. К.: «Век+». – 2008.– 49.– с. 41 – 46.
Підготовив 6 кандидатів наук та 7 магістрів.
Сторінки викладача
:
-
Про викладача
-
Студенту
Розклад викладача:
Перший тиждень
Вторник:
Четверг:
Другий тиждень
Вторник:
Среда:
Четверг:
e-mail:
pust@comsys.kpi.ua
тел.
454-90-42
|
|
|