Теория алгоритмов: учебное пособие

Qisqacha mazmuni

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

Bibliografik yozuv

Izohlar va baholar

Kiring va izoh qoldiring.

Hozircha izohlar yo'q.