Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
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.pdf | 483,73 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.