Математична логіка і числення предикатів
Aperçu des sections
-
Математична логіка і числення предикатів
Викладач доц. к.т.н. Полтораченко Н.І.
шифр
назва спеціальності
122
Комп`ютерні науки
126
Інформаційні системи і технології
Склад дисципліни
шифр
ОР, бакалавр
Форма навчання: денна
Форма контролю
Семестр
Відмітка про погодження
Назва спеціальності (спеціалізації)
Кредитів на сем.
Обсяг годин
Кількість індивідуальних робіт
Всього
аудиторних
Разом
у тому числі
Л
Лр
Пз
КП
КР
РГР
Роб
122
Комп`ютерні науки
3,0
90
40
20
20
1
Зал
2
126
Інформаційні системи і технології
3,0
90
40
20
20
1
Зал
2
-
Корисне посилання за темою дисципліни.