Кафедра теорії та технології програмування

Контакти:

• Адреса: Кафедра Теорії та технології програмування (к. 602), факультет кібернетики, просп. Академіка Глушкова 4д, 03187, Київ, Україна.
• Телефон: +38(044)259-05-19
• Web: http://ttp.unicyb.kiev.ua
• E-mail: denischuk@unicyb.kiev.ua

Напрямки наукових досліджень:

• Методологія та теорія програмування.
• Формальні методи розробки програм.
• Специфікація та верифікація розробки програмних систем.
• Теоретична та прикладна інформатика.
• Програмологія та її застосування.

Кафедра співпрацює з:

• Університет Поля Сабатьє м. Тулуза (Франція).
• Технічним університетом м. Кошиці (Словацька республіка).
• Технічним університетом м. Острава (Чеська республіка).
• Білоруським державним університетом.
• Ягеллонським університетом (м. Краків, Польща).
• Університетом ООН (м. Макао, Китай).
• Датським технічним університетом (м. Лінгбі, Данія).
• Університетом м. Кіля (Німеччина).
• Університетом м. Амстердам (Голландія).

Викладачі:

• Нікітченко Микола Степанович — доктор фізико-математичних наук, професор, завідувач кафедри (на сайті кафедри).
• Редько Володимир Нікіфорович — доктор фізико-математичних наук, професор, академік НАН України (на сайті кафедри).
• Дорошенко Анатолій Юхимович — доктор фізико-математичних наук, професор (на сайті кафедри).
• Буй Дмитро Борисович — доктор фізико-математичних наук, старший науковий співробітник, заступник декана з наукової роботи (на сайті кафедри).
• Лавріщева Катерина Михайлівна — доктор фізико-математичних наук, професор.
• Шкільняк Степан Степанович — доктор фізико-математичних наук, доцент (на сайті кафедри).
• Бойко Борис Іванович — кандидат фізико-математичних наук, доцент (на сайті кафедри).
• Волохов Віктор Миколайович — кандидат фізико-математичних наук, доцент (на сайті кафедри).
• Зубенко Віталій Володимирович — кандидат фізико-математичних наук, доцент (на сайті кафедри).
• Кузенко Володимир Федорович — кандидат фізико-математичних наук, доцент (на сайті кафедри).
• Панченко Тарас Володимирович — кандидат фізико-математичних наук, доцент (на сайті кафедри).
• Вінник Вадим Юрійович — кандидат фізико-математичних наук, доцент.
• Омельчук Людмила Леонідівна — кандидат фізико-математичних наук, асистент.
• Богатирьова Юлія Олександрівна — кандидат фізико-математичних наук, асистент.
• Ткачук Ігор Юрійович — асистент (на сайті кафедри).
• Антонова Ірина Андріївна — асистент (на сайті кафедри).
• Россада Тетяна Володимирівна — асистент.

Методисти:

• Денищук Ганна Юріївна (на сайті кафедри).
• Федченко Софія Миколаївна (на сайті кафедри).

Лабораторії:

• НДС "Проблем програмування".

Все що нас не вбиває, робить нас сильнішими.

Ф. Ніцше

Франсуа Вієт
1540-01-01 — 1603-02-14

Франсуа Вієт – французький математик, який започаткував алгебру як науку про перетворення виразів, про розв’язування рівнянь у загальному вигляді. Вієт став позначати буквами не тільки невідомі, але й дані величини. Тим самим йому вдалося ввести в науку можливість виконання алгебраїчних перетворень над символами, тобто ввести поняття математичної формули. Цим він вніс важливий вклад в створення буквенної алгебри, чим закінчив розвиток математики епохи Відродження і підготував ґрунт для появи результатів Ферма, Декарта, Н’ютона.