Сайт ХГУ им. Н.Ф.Катанова Научная библиотека ХГУ Набор на программы ДПО Национальная платформа открытого образования
Образовательный портал ХГУ
(23.03.2017, ОФО) 09.03.02 Информационные системы и технологии (3,4 курс) (УЧЕБНЫЙ ПЛАН 2017-2018 УЧ.ГОДА)
Математическая логика и теория алгоритмов  
Программный элемент Теоретический элемент Практический элемент Методико-технологический элемент Весь ЭУМКД
Программный элемент
Б1.В.ОД6 Математическая логика и теория алгоритмов 09.03.02 Колмакова.doc 814 Кб
Теоретический элемент
методичка мат лог лекции.doc 752 Кб Дернович Е. С.
Практический элемент
методичка мат лог практикум.doc 757 Кб Дернович Е. С.
лаб1(логика высказ).doc 155 Кб Дернович Е. С.
лаб2(исчисление высказ).docx 24 Кб Дернович Е. С.
лаб3(предикаты).doc 60 Кб Дернович Е. С.
лаб4(метод резолюций).doc 30 Кб Дернович Е. С.
лаб5(машина Тьюринга).doc 37 Кб Дернович Е. С.
Наверх
Вниз