Обсуждение:Определение булевой функции — различия между версиями
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}} Убрать из остальных конспектов определение булевой функции. Оставить только ссылки. | ||
| + | |||
{{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.
