Рабочая программа учебной дисциплины52.2KB
Дисциплина преподается на 1 и 2 семестрах. Состоит из лекционных и практических занятий.
Практика
Лекции
‣
Лекции
Вопросы
Вопросы
Основы дискретной математики
Основы дискретной математики
Задачи и упражнения по дискретной математике
Задачи и упражнения по дискретной математике
Задачи по теории множеств, математической логике и теории алгоритмов
Задачи по теории множеств, математической логике и теории алгоритмов
Исчисление высказываний
Исчисление высказываний
Формальные теории
Формальные теории
B-деревья
B-деревья
Лекции 5-7: исчисление высказываний и теорема о компактности
Лекции 5-7: исчисление высказываний и теорема о компактности
Исчисление высказываний
Исчисление высказываний