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

Материал из Викиконспекты
Перейти к: навигация, поиск
м
 
Строка 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}} В определениях выделить '''жирным''' то, что в них определяется.
 +
 
{{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} являются полными системами. Если в каком конспекте оно есть -- добавить ссылку.

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

Фактическая ошибка про СДНФ