Вікіпедія

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

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

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

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

Визначення ред.

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

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

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

Властивості ред.

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

Решітка ред.

...

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

Джерела ред.

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