Логика. Вообще тема логика, линейная тем
Cрок выполнения : ваш
Вид работы : Контрольная
Дисциплины:
Математические: Логика, теория Алгоритмов и Автоматов.
|
Добавлен 10.09.2018 13:44:20
Уникальность:
Доработка:
Подробно: Логика. Вообще тема логика, линейная темпоральная логика LTL. Это отчет о научной практике Начиная с 3 пункта (3. The Complexity of L(F) / 3. Сложность L (F) ) требуется перевести статью и в местах где нет конкретного доказательства расписать в скобках. Например в каком - то месте указано что очевидно a=b нужно открыть скобки и расписать почему a=b. Если за 1.5 недели справятся очень хорошо можно 2
Кратко: Логика. Вообще тема логика, линейная темпоральная логика LTL. Это отчет о научной практике Начиная с 3 пункта (3. The Complexity of L(F) / 3. Сложность L (F) ) требуется перевести статью и в местах где нет конкретного доказательства расписать в скобках. Например в каком - то месте указано что очевид