Основания математики. Математическая логика

Список источников >Нехудожественная литература >Научная и техническая литература >Естественные науки >Физико-математические науки >Математика >Основания математики. Математическая логика >

Сложностный метод теории алгоритмов

Автор: Шурыгин В. А.
Год: 2009
Издание: Либроком
Страниц: 200
ISBN: 9785397001854
Направление в теории алгоритмов, в котором размеры программ, задающих алгоритмы, используются как средство исследования алгоритмических проблем, было основано А.А.Марковым в начале 60-х годов XX в. Сложностный метод А.А.Маркова позволяет расширить область применимости теорий, исследующих или использующих неразрешимые алгоритмические проблемы. Примерно в это же время А.Н.Колмогоров для исследований оснований теории информации и теории вероятностей начал создавать теорию, основанную на использовании минимальных размеров кодов алгоритмов. Марковское и колмогоровское направления теории сложности алгоритмов различались определениями основных понятий и изначально имели разное предназначение, но в процессе их развития произошло их сближение, поэтому их можно рассматривать как начала общей теории, использующей специфические методы исследований. В предлагаемой книге даются изложение основ этой теории и некоторые ее приложения. Книга адресована, в первую очередь,...
Добавлено: 2016-11-15 17:58:30

Видео о книгах:

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2016, Список Литературы