Обсуждение:Критерий Поста
Эта статья тематически связана с вики-проектом «Математика», цель которого — создание и улучшение статей по темам, связанным с математикой. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
Untitled править
Соеденил со статьёй Замкнутые классы булевых функций. Теперь нужнопричесать статью, чтобы разделы были согласованы друг сдругом. Хацкер 15:59, 30 июня 2007 (UTC)
О замкнутых классах править
Переписал статью про замкнутые классы логических функций. Они могут быть не только булевыми (может быть замешана, например, k-значная логика), поэтому от критерия Поста пришлось отвязаться. Ссылка на него, разумеется, осталась — там, где пошёл разговор о полных системах.
Может, имеет смысл переименовать статью про замкнутые классы? Всё-таки на булевых функциях свет клином не сошёлся. Участник:avz19 14:48 01.10.2007 UTC
- Теорема Поста тоже имеет смысл не только для двузначной логики. Кстати, в статье Замкнутые классы булевых функций ничего про такие случаи не увидел — по-сути она дублирует 80% материала из статьи Критерий Поста. Какой смысл в этом, спрашивается? Статьи должны быть объединины. Хацкер 10:31, 24 февраля 2008 (UTC)
Критерий Поста и теорема Поста править
Товарищи, уберите редирект с теоремы Поста на эту страницу. Теорема Поста - это утверждение о том, что множество и его дополнение рекурсивно перечислимы тогда и только тогда, когда множество разрешимо. Вот Теорема Поста Sonic86 06:17, 20 апреля 2013 (UTC)Sonic86