Вы искали: машина Тьюринга

Математические основы теории оптимального и логического управления

В книге, состоящей из двух частей, приведен математический аппарат, используемый в теории оптимального и логического управления. В первой части рассмотрены вариационное исчисление, принцип максимума и метод динамического программирования, а также оптимальная фильтрация в непрерывных и дискретных автоматических системах. Во второй части - математический аппарат, используемый в теории автоматического управления при синтезе автоматических систем (например, систем управления роботами), работающих в условиях неопределенности внешней среды.

Введение в теорию алгоритмов

Рассмотрены машины Тьюринга, вопросы алгоритмической разрешимости, основные классы сложности, NP-полнота, схемная сложность.

1