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

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

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

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

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

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

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

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