| Таблица | Карточка | RUSMARC | |
|
|
Разрешенные действия: Прочитать Загрузить (1,3 Мб) Для чтения документа необходим Flash Player Группа: Анонимные пользователи Сеть: Интернет |
Аннотация
Данная работа относится к исследованию применения автоматического доказательства теорем в решении задач фундаментальной математики. В ней описывается применение средств автоматического логического вывода в различных областях. Исследуются метод резолюций и стратегии оптимизации. Выбраны задачи из библиотеки TPTP. Программно реализованы алгоритмы стратегий и проведено тестирование на выбранных задачах. Даны рекомендации по использованию стратегий.
Права на использование объекта хранения
| Место доступа | Группа пользователей | Действие | ||||
|---|---|---|---|---|---|---|
| Локальная сеть ИБК СПбПУ | Все |
|
||||
|
Интернет | Все |
|
Статистика использования документа
|
|
Количество обращений: 127
За последние 30 дней: 5 Подробная статистика |