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

== Аннотация ==
;Докладчик: {{Speaker|Владимир Атаманов}}
<blockquote>
В моей работе рассматривается задача поиска минимальных существенных замкнутых классов многозначных логик.
Доказано, что данная задача сводится к рассмотрению конечного числа функций.

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

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

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

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

== Видео ==

{{vimeoembed|58698390|800|500}}
{{youtubelink|oZRFsiORbQY}}{{letscomment}}
{{webm-oseduconf|minimal-closed-classes-in-pk}}


<!-- pollholder --> 










== Статья ==
[[File:Поиск минимальных существенных замкнутых классов в Pk (Владимир Атаманов, OSEDUCONF-2013).pdf|left|page=-|256px]]

{{----}}

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

<references/>

[[Category:OSEDUCONF-2013]]

[[Category:Наука]]
<!-- topub -->
{{stats|disqus_comments=0|refresh_time=2019-09-05T22:12:23.722934|vimeo_comments=0|vimeo_plays=87|youtube_comments=0|youtube_plays=3}}