Please use this identifier to cite or link to this item: http://dspace.onu.edu.ua:8080/handle/123456789/5359
Title: ИЗУЧЕНИЕ ДИНАМИКИ ДИСКРЕТНЫХ СИСТЕМ МЕТОДАМИ АЛГЕБРЫ ПОДСТАНОВОЧНЫХ ПРЕДИКАТОВ
Authors: Любота, В. Н.
Citation: Доклады Одесского Семинара по дискретной математике / НАН Украины, Южный научный центр, ОНУ им. И.И. Мечникова . – Одесса : Симекспринт, 06/2011 . – Вып. 11 . – 65 c.
Issue Date: 2011
Publisher: Симекспринт
Keywords: динамика логических систем
УСЛОВНАЯ ПРОИЗВОДНАЯ БИНАРНОГО ПРЕДИКАТА
таблицы истинности
«Ханойская башня»
VISUAL PROLOG
Series/Report no.: ;Вып 11, С . 42-56.
Abstract: Для исследования логических (двоичных) систем обычно используется алгебра логики. С ее помощью ставится и решается большой круг задач описания, преобразования и построения логических систем. Переход от классической алгебры логики к алгебре подстановочных предикатов не только расширяет круг решаемых задач, но и приводит к эффективным реализациям получения решений.
Description: ДОСДМ - не периодический, но систематический сборник, выходящий по мере накопления материала. В сборник помещаются статьи, доложенные и обсужденные на Семинаре, или тезисы доклада (если полный текст публикуется в другом месте). Занятия Семинара - раз в месяц, циклы расширенных заседаний во вторую (иногда третью) неделю сентября, ближайший (33-й) цикл -с 12 по 16 сентября 2011 года. Основная тематика: теория графов и гиперграфов, комбинаторика, теория автоматов, нечеткие и вероятностные меры, задачи дискретной оптимизации, приложения к структурной химии и молекулярной физике, к теории нервных сетей; рассматриваются также вопросы обоснования теории множеств, алгебры, геометрии, математической логики и специальной теории относительности.
URI: http://dspace.onu.edu.ua:8080/handle/123456789/5359
Appears in Collections:Статті та доповіді ФМФІТ

Files in This Item:
File Description SizeFormat 
42-56.pdf272.46 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.