1. Область применения программы

Рабочая программа учебной дисциплины ЕН.02. Элементы математической логики является частью основной программы подготовки специалистов среднего звена в соответствии с ГОС СПО по специальности 09.02.02 Компьютерные сети.

Рабочая программа учебной дисциплины может быть использована в дополнительном профессиональном образовании и на курсах повышения квалификации и переподготовки.

 

2. Место учебной дисциплины в структуре программы подготовки специалистов среднего звена

Учебная дисциплина ЕН.02 Основы математической логики» относится к дисциплинам математического  и общего естественнонаучного учебного цикла.

 

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

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

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

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

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

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

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

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

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

ОК 1. Понимать сущность и социальную значимость своей будущей профессии, проявлять к ней устойчивый интерес.

ОК 2. Организовывать собственную деятельность, выбирать типовые методы и способы выполнения профессиональных задач, оценивать их эффективность и качество.

ОК 8. Самостоятельно определять задачи профессионального и личностного развития, заниматься самообразованием, осознанно планировать повышение квалификации.

ОК 9. Ориентироваться в условиях частой смены технологий в профессиональной деятельности.

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

ПК 1.1. Выполнять проектирование кабельной структуры компьютерной сети.

ПК 1.2. Осуществлять выбор технологии, инструментальных средств и средств вычислительной техники при организации процесса разработки и исследования объектов профессиональной деятельности.

ПК 1.4. Принимать участие в приемо-сдаточных испытаниях компьютерных сетей и сетевого оборудования различного уровня и в оценке качества и экономической эффективности сетевой топологии.    

ПК 2.3. Обеспечивать сбор данных для анализа использования и функционирования программно-технических средств компьютерных сетей.

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