Кафедра Обчислювальної техніки НТУУ “КПІ”
              
Головна » Про кафедру » Співробітники кафедри » Пустоваров Володимир Ілліч » Про викладача
Співробітники кафедри

Пустоваров Володимир Ілліч


кандидат технічних наук, доцент

Про викладача

Викладає такі дисципліни:

  • «Системне програмування »
  • «Об’єктно-орієнтоване програмування»
  • «Логічне програмування»
  • «Проектування та дослідження інтелектуальних систем»
  • «Технології системного програмування»

 

Наукова діяльність:

Розробка та дослідження методів семантичного аналізу природних та комп’ютерних мов в системах штучного інтелекту.

Автоматизація аналізу специфікацій та формальної верифікації для систем автоматизації програмування та моделювання.

 

Публікації

Автор 160 наукових праць, з яких 3 навчальних посібників, 15 методичних вказівок. В тому числі:

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

Підготовив 6 кандидатів наук та 7 магістрів.


Сторінки викладача :

  1. Про викладача
  2. Студенту

Розклад викладача:

Перший тиждень

Вторник:
4 14:15-15:50 Системне програмування ауд.304-18 ІО-91 ІО-92 ІО-93
Четверг:
2 10:25-12:00 Пошукові системи (лаб) ауд.536-18 ІП-91
4 14:15-15:50 Проектування інтелектуальних систем ауд.337-18 ІО-77гл

Другий тиждень

Вторник:
4 14:15-15:50 Системне програмування ауд.304-18 ІО-91 ІО-92 ІО-93
Среда:
1 8:30-10:05 ПрІС (пр.) ауд.536-18 ІО-77гл
Четверг:
2 10:25-12:00 Пошукові системи (лаб) ауд.536-18 ІП-91
4 14:15-15:50 Проектування інтелектуальних систем ауд.337-18 ІО-77гл
e-mail: pust@comsys.kpi.ua
тел. 454-90-42