Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://earchive.tpu.ru/handle/11683/1398
Название: Стратегия установления выводимости формул в структурных функциональных моделях
Авторы: Коваленко, Дмитрий Алексеевич
Новосельцев, Виталий Борисович
Ключевые слова: стратегии; установление; формулы; структурные модели; функциональные модели; исчисления; рекурсивные предложения; алгоритмы; оценка
Дата публикации: 2006
Издатель: Томский политехнический университет
Библиографическое описание: Коваленко Д. А. Стратегия установления выводимости формул в структурных функциональных моделях / Д. А. Коваленко, В. Б. Новосельцев // Известия Томского политехнического университета [Известия ТПУ]. — 2006. — Т. 309, № 7. — [С. 126-130].
Аннотация: Рассматривается исчисление рекурсивных предложений для теории структурных функциональных моделей. Исследуются вопросы разрешимости и полноты исчисления. Предлагаются стратегия и алгоритм установления выводимости формул исчисления, показывается корректность алгоритма и определяется оценка его эффективности.
URI: http://earchive.tpu.ru/handle/11683/1398
Располагается в коллекциях:Известия ТПУ

Файлы этого ресурса:
Файл Описание РазмерФормат 
bulletin_tpu-2006-309-7-27.pdf483,73 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.