Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
== Примечания и отзывы == <!-- <blockquote>[©]</blockquote> --> <references/> [[Category:OSEDUCONF-2013]] [[Category:Наука]] <!-- topub --> {{stats|disqus_comments=0|refresh_time=2017-11-24T21:19:53.985648|2-12T17:18:30.857839|vimeo_comments=0|vimeo_plays=86|youtube_comments=0|}}youtube_plays=3}} |
Версия 14:18, 12 декабря 2017
Содержание
Аннотация
- Докладчик
- Владимир Атаманов
В моей работе рассматривается задача поиска минимальных существенных замкнутых классов многозначных логик. Доказано, что данная задача сводится к рассмотрению конечного числа функций.
Тем не менее уже для случая трехзначной логики полный переборне представляется возможным. Но в некоторых случаях поиск можно свести к разбору относительно небольшого набора функций, который проще всего произвести при помощи ЭВМ.
На языке C был разработан ряд программ, позволяющий решать задачу поиска замыкания некоторого набора функций с фиксированным числом аргументов.
Произведена сложностная оценка алгоритма замыкания функции и доказана его остановка через конечное время.
В процессе исследования алгоритмы существенно изменились, что позволило за приемлемое время полностью решить поставленную задачу для случая трёхзначной логики.
Видео
Статья
Примечания и отзывы
Plays:89 Comments:0