Основы теории переключательных функций

Цели и задачи дисциплины

Цель дисциплины «Основы теории переключательных функций» – ознакомление с основными понятиями и методами математической логики и теории алгоритмов; формирование систематизированных знаний в области математической логики, представлений о роли математической логики в их решении; развитие логического мышления, логической культуры. Задачи изучения дисциплины – gознакомить с методами формально-логического решения задач; с различными моделями и системами представления и использования знаний; cформировать компетенции применения в практической деятельности различных подходов к формализации и решению задач формально-логическими и алгоритмическими методами; обеспечивает подготовку специалистов к деятельности в сфере информационных технологий, разработки и исследования методов обработки данных,

Краткое содержание дисциплины

Предметом дисциплины являются логические связки, таблицы истинности, основные общезначимые формулы, аксиомы и правила вывода. Проверка на общезначимость и выводимость. Нормальные формы формул, переключательные функции. Понятие алгоритма, свойства. Машина Тьюринга. Нормальные алгоритмы Маркова..

Компетенции обучающегося, формируемые в результате освоения дисциплины

Выпускник должен обладать:

ПК-2 Способен выявлять и анализировать проблемную ситуацию, устанавливать причинно-следственные связи между явлениями в проблемной ситуации, выявлять естественнонаучную сущность проблем, возникающих в ходе профессиональной деятельности, и привлекать для их решения соответствующий физико-математический аппарат