Системы автоматизированного проектирования

Бакалавриат

Дисциплина Теория вероятностей 4 семестр

Цель дисциплины

Целью освоения дисциплины является достижение следующих результатов образования (РО):
знания:
на уровне представлений: современных тенденций и направлений развития дисциплины «Теория вероятностей» и перспектив ее использования в информатике и вычислительной техники;
на уровне воспроизведения: несложных логических моделей предметных областей, реализации логического вывода и оценки вычислительной сложности алгоритмов;
на уровне понимания: основных понятий и методов математической логики и теории алгоритмов, используемых в информатике и вычислительной технике;
умения:
теоретические: знать основы логики высказываний, логики предикатов, теории формальных систем, алгоритмические системы, алгоритмическую логику;
практические: применять методы анализа выполнимости и общезначимости формул; стратегии метода резолюций; принцип логического программирования; теоремы дедукции; теоремы о неполноте формальных систем
навыки: алгоритмизации и программной реализации логического вывода с использованием метода резолюций, а также теоретической и экспериментальной оценки сложности построенных алгоритмов.

Связь с другими дисциплинами

Необходимыми условиями для освоения дисциплины являются: знание математической логики, теории алгоритмов, дискретной математики.
Содержание дисциплины является логическим продолжением содержания дисциплин «Математика», «Дискретная математика» и служит основой для освоения дисциплин «Моделирование», «Методы оптимизации».

Методы обучения

При реализации дисциплины используются следующие интерактивные формы (методы, технологии) обучения: лекция-визуализация, тренинг, веб-квест.

Требования

Знать: современные тенденции и направления развития дисциплины «Теория вероятностей» и перспективы ее использования в информатике и вычислительной технике, основные понятия и теоремы, законы распределения случайных величин.
Уметь: формулировать и решать задачи оценки числовых характеристик случайных величин, описывающих процессы обработки и передачи данных в компьютерных сетях.
Владеть: способностью применять математические методы теории вероятностей для решения стандартных задач профессиональной деятельности с использованием информационно-коммуникационных технологий.