Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013) — различия между версиями

== Примечания и отзывы ==
<!-- <blockquote>[©]</blockquote> -->

<references/>

[[Category:OSEDUCONF-2013]]

[[Category:Наука]]
<!-- topub -->
{{stats|disqus_comments=0|refresh_time=2017-12-25T22:13:572018-01-10T22:03:00.064607906419|vimeo_comments=0|vimeo_plays=86|youtube_comments=0|youtube_plays=3}}

Версия 19:03, 10 января 2018

Аннотация

Докладчик

Владимир Атаманов

В моей работе рассматривается задача поиска минимальных существенных замкнутых классов многозначных логик. Доказано, что данная задача сводится к рассмотрению конечного числа функций.

Тем не менее уже для случая трехзначной логики полный переборне представляется возможным. Но в некоторых случаях поиск можно свести к разбору относительно небольшого набора функций, который проще всего произвести при помощи ЭВМ.

На языке C был разработан ряд программ, позволяющий решать задачу поиска замыкания некоторого набора функций с фиксированным числом аргументов.

Произведена сложностная оценка алгоритма замыкания функции и доказана его остановка через конечное время.

В процессе исследования алгоритмы существенно изменились, что позволило за приемлемое время полностью решить поставленную задачу для случая трёхзначной логики.

Видео

on youtube

Статья

Примечания и отзывы

Plays:89   Comments:0