Решітка Поста

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Ця стаття має кілька недоліків. Будь ласка, допоможіть удосконалити її або обговоріть ці проблеми на сторінці обговорення.
покладається значною мірою чи цілком на єдине джерело. Це може призвести до порушень нейтральності та недостатньої перевірності вмісту. Будь ласка, допоможіть, додавши посилання на додаткові джерела. (січень 2024)
Ця стаття потребує уваги й турботи фахівця у своїй галузі. Будь ласка, повідомте про це знайомому вам спеціалісту, або виправте її самі, якщо ви володієте відповідними знаннями. Можливо, сторінка обговорення містить зауваження щодо потрібних змін. (січень 2024)
У цій статті бракує інформації про {{{2}}}. Будь ласка, розширте цю статтю, додавши цю інформацію. Подробиці можуть бути на сторінці обговорення.

Решітка Поста (ґратка Поста) — ґратка всіх клонів на булевій множині (булева множина позначається 2={0, 1}) відсортована за включенням. Була описана Емілем Постом в 1941 році.

Використовується в математичній логіці та універсальній алгебрі.

Визначення[ред. | ред. код]

Булевими функціями чи логічними операціями арності n є функції f: 2n → 2.

Множина таких функцій що містить всі проєкції та замкнена відносно композиції функцій називається клоном.

Поняття клона є близьким до більш старшого терміну замкнений клас функцій.

Властивості[ред. | ред. код]

Перетином двох клонів є клон.

Решітка[ред. | ред. код]

...

Див. також[ред. | ред. код]

Джерела[ред. | ред. код]

Сигма Це незавершена стаття з математики.
Ви можете допомогти проєкту, виправивши або дописавши її.
Отримано з https://uk.wikipedia.org/w/index.php?title=Решітка_Поста&oldid=41403861