Область применения программы. Программа учебной дисциплины является частью основной профессиональной образовательной программы в соответствии с ФГОС по специальности СПО 230111

Программа учебной дисциплины является частью основной профессиональной образовательной программы в соответствии с ФГОС по специальности СПО 230111 «Компьютерные сети».

Программа учебной дисциплины может быть использованав дополнительном профессиональном образовании: программах повышения квалификации и переподготовки специалистов, работающих в сфере информационных технологий и преподавателей, осуществляющих образовательную деятельность по специальности 230111 «Компьютерные сети».

1.2. Место дисциплины в структуре основной профессиональной образовательной программы: дисциплина входит в общепрофессиональный цикл.

1.3. Цели и задачи дисциплины – требования к результатам освоения дисциплины:

В результате освоения дисциплины обучающийся должен уметь:

- формулировать задачи логического характера и применять средства

математической логики для их решения.

В результате освоения дисциплины обучающийся должен знать:

- основные принципы математической логики, теории множеств и теории алгоритмов;

- формулы алгебры высказываний;

- методы минимизации алгебраических преобразований;

- основы языка и алгебры предикатов.

1.4. Рекомендуемое количество часов на освоение программы дисциплины:

максимальной учебной нагрузки обучающегося 135 часов, в том числе:

обязательной аудиторной учебной нагрузки обучающегося 90 часа;

самостоятельной работы обучающегося 45 часа.

СТРУКТУРА И СОДЕРЖАНИЕ УЧЕБНОЙ ДИСЦИПЛИНЫ

«Элементы математической логики»