|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Метод конечных моделей как разрешающая процедура для систем временной логикидипломная работа (Бакалавр)
- Научный руководитель: Григорьев О.М.
- Автор: Пиманов Артем Сергеевич
- Тип: Бакалавр
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Год защиты: 2017
- Аннотация: Выпускная квалификационная работа Пиманова А.С. посвящена изучению одного из наиболее распространенных методов доказательства разрешимости стандартных систем временной логики. В качестве самостоятельной исследовательской задачи была рассмотрена проблема разрешимости временных систем с нестандартными отношениями на временном потоке, построенными в работах выдающего отечественного логика В.А. Смирнова. Доказательство осуществлялось с применением метода конечных моделей.
- Добавил в систему: Григорьев Олег Михайлович