Сайт ХГУ им. Н.Ф.Катанова Научная библиотека ХГУ Набор на программы ДПО Национальная платформа открытого образования
Образовательный портал ХГУ
(01.04.2019, ОФО) 09.03.02 Информационные системы и технологии (2-4, курс)
Математическая логика и теория алгоритмов  
Программный элемент Теоретический элемент Практический элемент Методико-технологический элемент Весь ЭУМКД
Программный элемент
рп_06_Б1.Б.6_о_2-4_19-20.doc 581 Кб
Дополнение к РП_гр48=МатЛог.docx 22 Кб
Теоретический элемент
Курс лекций.doc 848 Кб
Введение.pdf 135 Кб Молчанова Е. А.
Лекция_Логич следование.pdf 513 Кб Молчанова Е. А.
Лекция Булевы функции-1.pdf 898 Кб Молчанова Е. А.
Лекция Булевы функции-2.pdf 1,1 Мб Молчанова Е. А.
Лекция Исчисление высказываний-1.DOCX 2,2 Мб Молчанова Е. А.
Лекция Исчисление высказываний-2.DOCX 2,2 Мб Молчанова Е. А.
Лекция Исчисление предикатов.pdf 378 Кб Молчанова Е. А.
Лекция Теория алгоритмов.pdf 285 Кб Молчанова Е. А.
Практический элемент
Лабораторные работы МЛ иТА.rar 248 Кб
Практикум МЛ иТА.doc 845 Кб
ЛР 1.docx 1,6 Мб Молчанова Е. А.
Лабораторная работа 2. Булевы функции.pdf 1,2 Мб Молчанова Е. А.
Лабораторная работа 3. Исчисление высказываний.pdf 136 Кб Молчанова Е. А.
Лабораторная работа 4. Исчисление предикатов.pdf 194 Кб Молчанова Е. А.
Лабораторная работа 4. Исчисление предикатов.pdf 194 Кб Молчанова Е. А.
ЛабРаб_Алгоритмы.pdf 446 Кб Молчанова Е. А.
ЗАЧЕТ = гр. 48.docx 15 Кб Молчанова Е. А.
Методико-технологический элемент
Метод реком ЛабРаб 1 ЧАСТЬ 3.pdf 246 Кб Молчанова Е. А.
Метод реком ЛабРаб 1 ЧАСТЬ 2.pdf 139 Кб Молчанова Е. А.
Наверх
Вниз