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

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