Тео́рия функциона́льных систе́м — раздел дискретной математики, занимающийся изучением функций, описывающих работу дискретных преобразователей.
В теории функциональных систем рассматриваются следующие классы функций:
- булевы функции
- функции k-значной логики
- автоматные функции
- вычислимые функции
С каждым из этих классов естественным образом связываются операции, позволяющие из одних функций данного класса строить другие функции того же класса. Такими операциями являются операция суперпозиции (подстановка), операция обратной связи, операция примитивной рекурсии и -операция (минимизация). В результате получаются функциональные системы с операциями.
Энциклопедичный YouTube
-
1/3Просмотров:1 0744 9418 612
-
01 - Ликбез по дискретной математике. Линейная алгебра l
-
С.Л. Кузнецов. Спецкурс «Лямбда-исчисление, или вычислительная теория доказательств»
-
8. Дискретная математика. Булева алгебра.
Субтитры
Литература
Яблонский С.В. Введение в дискретную математику: Учеб. пособие для вузов. — 2-е изд., перераб. и доп. — М.: Наука. Гл. ред. физ.-мат. лит., 1986. — 384 с.
Обычно почти сразу, изредка в течении часа.