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

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

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

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

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

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

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

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