логика, линейная темпоральная логика LTL. Это отчет о научной практике
Отменен
Заказ
1309788
Раздел
Математические дисциплины
Предмет
Тип работы
Антиплагиат
Не указан
Срок сдачи
30 Сен 2018 в 23:59
Цена
Договорная
Блокировка
10 дней
Размещен
22 Сен 2018 в 16:56
Просмотров
341
Описание работы
Логика.
Вообще тема логика, линейная темпоральная логика 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) ) требуется перевести статью и в местах где нет конкретного доказательства расписать в скобках. Например в каком - то месте указано что очевидно a=b нужно открыть скобки и расписать почему a=b.
Если за 1.5 недели справятся очень хорошо можно 2
Нужна такая же работа?
- Разместите заказ
- Выберите исполнителя
- Получите результат
| Гарантия на работу | 1 год |
| Средний балл | 4.96 |
| Стоимость | Назначаете сами |
| Эксперт | Выбираете сами |
| Уникальность работы | от 70% |
Предыдущий заказ
Нужна аналогичная работа?
Оформи быстрый заказ и узнай стоимость
Гарантированные бесплатные доработки
Быстрое выполнение от 2 часов
Проверка работы на плагиат
