Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (→Видео) |
||
== Видео ==
{{vimeoembed|58698390|800|500}}
{{youtubelink|oZRFsiORbQY}}
{{webm-oseduconf|minimal-closed-classes-in-pk}}
<poll>
ALTERNATIVE
REVOTE
UNIQUE
Оцените доклад «{{PAGENAME}}»:
Отлично!
Хорошо.
Нормально…
Не очень :(
Просто хочу узнать результаты.
</poll>
== Статья ==
[[File:Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013).pdf|left|page=-|256px]]
{{----}}
== Примечания и отзывы ==
<!-- <blockquote>[©]</blockquote> -->
<references/>
[[Category:OSEDUCONF-2013]]
[[Category:ToPublish]]
[[Category:Наука]] | |||
Версия 12:41, 3 ноября 2014
Содержание
Аннотация
- Докладчик
- Владимир Атаманов
В моей работе рассматривается задача поиска минимальных существенных замкнутых классов многозначных логик. Доказано, что данная задача сводится к рассмотрению конечного числа функций.
Тем не менее уже для случая трехзначной логики полный переборне представляется возможным. Но в некоторых случаях поиск можно свести к разбору относительно небольшого набора функций, который проще всего произвести при помощи ЭВМ.
На языке C был разработан ряд программ, позволяющий решать задачу поиска замыкания некоторого набора функций с фиксированным числом аргументов.
Произведена сложностная оценка алгоритма замыкания функции и доказана его остановка через конечное время.
В процессе исследования алгоритмы существенно изменились, что позволило за приемлемое время полностью решить поставленную задачу для случая трёхзначной логики.
Видео
Статья
