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