ИЗУЧЕНИЕ ДИНАМИКИ ДИСКРЕТНЫХ СИСТЕМ МЕТОДАМИ АЛГЕБРЫ ПОДСТАНОВОЧНЫХ ПРЕДИКАТОВ

Скорочена інформація про документ
dc.contributor.authorЛюбота, В. Н.
dc.date.accessioned2014-10-29T07:17:48Z
dc.date.available2014-10-29T07:17:48Z
dc.date.issued2011
dc.descriptionДОСДМ - не периодический, но систематический сборник, выходящий по мере накопления материала. В сборник помещаются статьи, доложенные и обсужденные на Семинаре, или тезисы доклада (если полный текст публикуется в другом месте). Занятия Семинара - раз в месяц, циклы расширенных заседаний во вторую (иногда третью) неделю сентября, ближайший (33-й) цикл -с 12 по 16 сентября 2011 года. Основная тематика: теория графов и гиперграфов, комбинаторика, теория автоматов, нечеткие и вероятностные меры, задачи дискретной оптимизации, приложения к структурной химии и молекулярной физике, к теории нервных сетей; рассматриваются также вопросы обоснования теории множеств, алгебры, геометрии, математической логики и специальной теории относительности.uk
dc.description.abstractДля исследования логических (двоичных) систем обычно используется алгебра логики. С ее помощью ставится и решается большой круг задач описания, преобразования и построения логических систем. Переход от классической алгебры логики к алгебре подстановочных предикатов не только расширяет круг решаемых задач, но и приводит к эффективным реализациям получения решений.uk
dc.identifier.citationДоклады Одесского Семинара по дискретной математике / НАН Украины, Южный научный центр, ОНУ им. И.И. Мечникова . – Одесса : Симекспринт, 06/2011 . – Вып. 11 . – 65 c.uk
dc.identifier.urihttps://dspace.onu.edu.ua/handle/123456789/5359
dc.language.isoruuk
dc.publisherСимекспринтuk
dc.relation.ispartofseries;Вып 11, С . 42-56.
dc.subjectдинамика логических системuk
dc.subjectУСЛОВНАЯ ПРОИЗВОДНАЯ БИНАРНОГО ПРЕДИКАТАuk
dc.subjectтаблицы истинностиuk
dc.subject«Ханойская башня»uk
dc.subjectVISUAL PROLOGuk
dc.titleИЗУЧЕНИЕ ДИНАМИКИ ДИСКРЕТНЫХ СИСТЕМ МЕТОДАМИ АЛГЕБРЫ ПОДСТАНОВОЧНЫХ ПРЕДИКАТОВuk
dc.typeArticleuk
Файли
Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
42-56.pdf
Розмір:
272.46 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити
Зібрання
Статті та доповіді ФМФІТ