логика, линейная темпоральная логика LTL. Это отчет о научной практике

Отменен
Заказ
1309788
Раздел
Математические дисциплины
Предмет
Антиплагиат
Не указан
Срок сдачи
30 Сен 2018 в 23:59
Цена
Договорная
Блокировка
10 дней
Размещен
22 Сен 2018 в 16:56
Просмотров
327
Описание работы
Логика.
Вообще тема логика, линейная темпоральная логика LTL. Это отчет о научной практике
Начиная с 3 пункта (3. The Complexity of L(F) / 3. Сложность L (F) ) требуется перевести статью и в местах где нет конкретного доказательства расписать в скобках. Например в каком - то месте указано что очевидно a=b нужно открыть скобки и расписать почему a=b.
Если за 1.5 недели справятся очень хорошо можно 2
Нужна такая же работа?
  • Разместите заказ
  • Выберите исполнителя
  • Получите результат
Гарантия на работу 1 год
Средний балл 4.96
Стоимость Назначаете сами
Эксперт Выбираете сами
Уникальность работы от 70%
Нужна аналогичная работа?
Оформи быстрый заказ и узнай стоимость
Гарантированные бесплатные доработки
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Темы журнала
Показать ещё
Прямой эфир