Заявка на створення курсу

Розділ призначено для подання заявки на створення курсу.

Сторінка: ()  1 ...  647  648  649  650  651  652  653  654  655  656  657  658  659  660  661  662  663  664 ...674   ()
Паращук Степан Дмитрович
Назва курсу: Формальні методи специфікації програм
Спеціальність: КНІТ
Автор курсу: Паращук С.Д.
Викладачі курсу: Паращук С.Д.
Асистенти курсу:
Курс: 6
Кількість тем або тижнів: 16
Категорія: фізико-математичний факультет
Формат курсу: формат структура
Дата створення: 30 серпень 2015
Дата виконання: 30 серпень 2015
Група(и), факультет(и):

КНІТ-15 (74)

КНІТ-16 (64)

 

Примітка: все аналогічно ще два курси "Методи верифікації та оптимізації програм", "Системи штучного інтелекту"
Сторінка: ()  1 ...  647  648  649  650  651  652  653  654  655  656  657  658  659  660  661  662  663  664 ...674   ()