Обсуждение:Полные системы функций. Теорема Поста о полной системе функций — различия между версиями
Rybak (обсуждение | вклад) м |
Rybak (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
=== Замечания === | === Замечания === | ||
| + | {{tick| ticked=1}} Переформулировать определения так, чтобы они не были завязаны на порядок строк в таблице истинности, ведь мы можем его менять, и от этого функция не изменится. | ||
| − | |||
{{tick| ticked=1}} Занести все определения в [[Шаблон:Определение | вики-шаблон]]. | {{tick| ticked=1}} Занести все определения в [[Шаблон:Определение | вики-шаблон]]. | ||
| + | |||
{{tick| ticked=1}} Перенести ссылку на определение булевой функции на их первое упоминание. | {{tick| ticked=1}} Перенести ссылку на определение булевой функции на их первое упоминание. | ||
| + | |||
{{tick| ticked=1}} Поменять местами раздел [[Теорема Поста о полной системе функций#Критерий Поста | Критерий Поста]] и [[Теорема Поста о полной системе функций#Замкнутые классы булевых функций | Замкнутые классы булевых функций]] | {{tick| ticked=1}} Поменять местами раздел [[Теорема Поста о полной системе функций#Критерий Поста | Критерий Поста]] и [[Теорема Поста о полной системе функций#Замкнутые классы булевых функций | Замкнутые классы булевых функций]] | ||
| + | |||
{{tick| ticked=1}} В определениях выделить '''жирным''' то, что в них определяется. | {{tick| ticked=1}} В определениях выделить '''жирным''' то, что в них определяется. | ||
| + | |||
{{tick| ticked=1}} Нет доказательства того, что {and, not} и {or, not} являются полными системами. Если в каком конспекте оно есть -- добавить ссылку. | {{tick| ticked=1}} Нет доказательства того, что {and, not} и {or, not} являются полными системами. Если в каком конспекте оно есть -- добавить ссылку. | ||
| + | |||
{{tick| ticked=1}} Сделать так, чтобы в "Теорема Поста о полной системе функций" не повторялись определения из других конспектов. | {{tick| ticked=1}} Сделать так, чтобы в "Теорема Поста о полной системе функций" не повторялись определения из других конспектов. | ||
| + | |||
{{tick| ticked=1}} Фактическая ошибка про СДНФ | {{tick| ticked=1}} Фактическая ошибка про СДНФ | ||
Текущая версия на 14:06, 14 апреля 2012
Замечания
☑ Переформулировать определения так, чтобы они не были завязаны на порядок строк в таблице истинности, ведь мы можем его менять, и от этого функция не изменится.
☑ Занести все определения в вики-шаблон.
☑ Перенести ссылку на определение булевой функции на их первое упоминание.
☑ Поменять местами раздел Критерий Поста и Замкнутые классы булевых функций
☑ В определениях выделить жирным то, что в них определяется.
☑ Нет доказательства того, что {and, not} и {or, not} являются полными системами. Если в каком конспекте оно есть -- добавить ссылку.
☑ Сделать так, чтобы в "Теорема Поста о полной системе функций" не повторялись определения из других конспектов.
☑ Фактическая ошибка про СДНФ
