|
|
Международная школа-семинар "Синтаксис и семантика логических систем"
15 августа 2019 г. 12:00–12:30, Турбаза на берегу озера Хубсугул
|
|
|
|
|
|
Классификация $k$-значных функций на основе аддитивных формул
Д. Г. Мещанинов Национальный исследовательский университет «Московский энергетический институт»
|
Количество просмотров: |
Эта страница: | 74 | Материалы: | 3 |
|
Аннотация:
Рассматриваются функциональная система $P_k$ функций $k$-значной логики и решетка ${\cal L}_k$ по включению замкнутых относительно суперпозиции классов в $P_k$. Классы описываются каноническими аддитивными формулами (в виде сумм по модулю $k$) своих элементов. Одно слагаемое в сумме является линейной функцией, остальные слагаемые зависят от делителя $d$ числа $k$ и определяют классы различных семейств. Для всех $k$ и $d$ находятся полные системы и базисы таких классов, определяется их положение в решетке ${\cal L}_k$.
Дополнительные материалы:
Мещанинов.pdf (1.3 Mb)
|
|