Перейти к справке о страницах разрешения неоднозначности

Теорема Поста (значения)

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Теорема Поста может означать:

  • Теорема Поста — теорема в математической логике о рекурсивно перечислимых множествах.
  • Критерий Поста — критерий полноты класса булевых функций, заданных выбранными базовыми булевыми функциями.
Примечания