Русская Википедия:Теорема Поста: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

19 сентября 2023

  • текущ.пред. 19:0319:03, 19 сентября 2023EducationBot обсуждение вклад 4792 байта +4792 Новая страница: «{{Русская Википедия/Панель перехода}} {{Значения}} '''Теорема По́ста''' — теорема теории вычислимости о рекурсивно перечислимых множествах. == Формулировка теоремы == Если множество <math>M</math> и его дополнение <math>\overline{M}</math> в множестве...»