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

Материал из Викиконспекты
Перейти к: навигация, поиск
м
м
 
(не показано 8 промежуточных версий этого же участника)
Строка 1: Строка 1:
 
=== Замечания ===
 
=== Замечания ===
  
☐ Вернуть разные названия ("Бу́лева фу́нкция (или логи́ческая функция, или функция а́лгебры ло́гики)").
+
{{tick| ticked=1}} Там где упоминается суперпозиция, сделать ссылку на соответствующий конспект.
  
☐ Убрать из остальных конспектов определение булевой функции. Оставить только ссылки.
+
{{tick| ticked=1}} Если того, что есть в этом вики-конспекте про СДНФ и СКНФ нет в конспектах: [[СДНФ]] и [[СКНФ]], то перенести это туда и оставить ссылки. Остальное про совершенные формы убрать.
  
 +
{{tick| ticked=1}} Перенести сюда определение из [[Представление функции формулой, полные системы функций | этого конспекта]]
  
☐ Больше TeX'a!
+
{{tick| ticked=1}} Вернуть разные названия ("Булева функция (или логическая функция, или функция алгебры логики)").
  
--[[Участник:Rybak|Андрей Рыбак]]
+
{{tick| ticked=1}} Убрать из остальных конспектов определение булевой функции. Оставить только ссылки.
  
☐ "Систематизировать! Пока там куча неструктурированной информации," {{---}} Андрей Сергеевич
+
{{tick| ticked=1}} Больше TeX'a! Например в таблице "Тернарные функции".
  
=== Исправлено ===
+
{{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}} Объединить разделы Полные системы булевых функций и Представление булевых функций.
 +
 
 +
{{tick| ticked=1}} Сделать изложение последовательным.
 +
 
 +
{{tick| ticked=1}} Перевести в TeX B^n, P_2, 2^n, 2^{2^n}, все таблицы
 +
 
 +
{{tick| ticked=1}} Конъюнкцию лучше изображать символом \land, а не \wedge
 +
 
 +
{{tick| ticked=1}} В первом определении -- B_n. Наверное, имелось ввиду B^n.

Текущая версия на 14:20, 14 апреля 2012

Замечания

Там где упоминается суперпозиция, сделать ссылку на соответствующий конспект.

Если того, что есть в этом вики-конспекте про СДНФ и СКНФ нет в конспектах: СДНФ и СКНФ, то перенести это туда и оставить ссылки. Остальное про совершенные формы убрать.

Перенести сюда определение из этого конспекта

Вернуть разные названия ("Булева функция (или логическая функция, или функция алгебры логики)").

Убрать из остальных конспектов определение булевой функции. Оставить только ссылки.

Больше TeX'a! Например в таблице "Тернарные функции".

Добавить ссылку на Представление функции формулой, полные системы функций.

В определении выделить "Булева функция" полужирным начертанием.

Тождественность и двойственность — в шаблон

Ссылку на википедию — на статью про булевы функции.

Убрать из конспекта всё, что относится к другим темам. Оставить только ссылки на эти статьи.

"Систематизировать! Пока там куча неструктурированной информации," — Андрей Сергеевич

Исправить таблицы так, чтобы самый используемый вариант обозначения был в отдельной колонке. Добавить колонку "Другие обозначения"

Тоже самое с таблицами тернарных функций.

Убрать цвет, он не несет смысловой нагрузки

Оформить и перенести определение полной системы из раздела "Полнота системы, критерий Поста" в конспект про критерий Поста, а в этом оставить ссылку туда.

Объединить разделы Полные системы булевых функций и Представление булевых функций.

Сделать изложение последовательным.

Перевести в TeX B^n, P_2, 2^n, 2^{2^n}, все таблицы

Конъюнкцию лучше изображать символом \land, а не \wedge

В первом определении -- B_n. Наверное, имелось ввиду B^n.