Теория вычислимости

В настоящее время исследования по теории вычислимости активно ведутся во всех странах мира.Россия всегда была одним из мировых центров исследований по теории вычислимости и её приложениям.Сюда относится сортировка и многие другие.Математический институт Клэя за её решение.Дополнение к классу C (то есть класс языков, дополнения которых принадлежат C) обозначается co-C.Все классы сложности находятся в иерархическом отношении: одни включают в себя другие.Михеева Е.В. Информационные технологии: Учеб.Пособие для сред.Угринович Н.Д. Информатика и информационные технологии.Учебник для 10-11 классов.