Описание:
Дисциплина способствует освоению методов формального описания законов в предметных областях и формальных техник рассуждения об объектах и их свойствах и взаимосвязях. Существенное внимание уделяется аксиоматическому подходу в логике. Отличительная особенность курса состоит в том, что рассматриваются не только классические пропозициональные и предикатные исчисления, но и ряд неклассических логических систем, таких как интуиционистская и модальная логика. Кроме того, затрагиваются некоторые важные метаматематические вопросы, дается элементарное введение в основания математики.
Структура:
| Семестр |
Всего (ч) (Лекц / Практ. / Лаб.) |
Аттестация |
| 4 |
144 (30 / 30 / 0) |
Экзамен |
| Итого |
144 (30 / 30 / 0) |
Экзамен |
Компетенции:
- УК-1 - Способен осуществлять поиск, критический анализ и синтез информации, применять системный подход для решения поставленных задач
- УКЕ-1 - Способен использовать знания естественнонаучных дисциплин, применять методы математического анализа и моделирования, теоретического и экспериментального исследования в поставленных задачах
- ОПК-1 - Способен применять естественнонаучные и общеинженерные знания, методы математического анализа и моделирования, теоретического и экспериментального исследования в профессиональной деятельности
- ОПК-4 - Способен участвовать в разработке стандартов, норм и правил, а также технической документации, связанной с профессиональной деятельностью
- ОПК-7 - Способен применять в практической деятельности основные концепции, принципы, теории и факты, связанные с информатикой
Задачи воспитания:
- В18 - формирование ответственности за профессиональный выбор, профессиональное развитие и профессиональные решения
- В19 - формирование научного мировоззрения, культуры поиска нестандартных научно-технических/практических решений, критического отношения к исследованиям лженаучного толка
- В40 - формирование профессионально значимых установок: не производить, не копировать и не использовать программные и технические средства, не приобретённые на законных основаниях; не нарушать признанные нормы авторского права; не нарушать тайны передачи сообщений, не практиковать вскрытие информационных систем и сетей передачи данных; соблюдать конфиденциальность доверенной информации