Section outline

  • Математична логіка і числення предикатів

    Викладач  доц. к.т.н. Полтораченко Н.І.

    шифр

    назва спеціальності

    122

    Комп`ютерні науки

    126

    Інформаційні системи і технології


    Склад дисципліни

    шифр

    ОР, бакалавр

    Форма навчання:                             денна

    Форма контролю

    Семестр

    Відмітка про погодження

    Назва спеціальності (спеціалізації)

    Кредитів на сем.

    Обсяг годин

    Кількість індивідуальних робіт

    Всього

    аудиторних

    Разом

    у тому числі

    Л

    Лр

    Пз

    КП

    КР

    РГР

    Роб

     

     

     

     

     

     

     

     

     

     

     

     

     

     

     

    122

    Комп`ютерні науки

    3,0

    90

    40

    20


    20

     

     

    1

     

    Зал

    2

     

    126

    Інформаційні системи і технології

    3,0

    90

    40

    20


    20

     

     

    1

     

    Зал

    2