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

Отменен
Статус:Отменен
Раздел:Математические дисциплины
Предмет:Логика
Тип работы:Контрольная работа
Срок сдачи:Не определен
30 Сен в 23:5930.09.2018 в 23:59
Цена:Договорная
Блокировка:10 дней
Заказчик:
Номер заказа:1309788
Размещен: 22 Сен в 16:56
Просмотров:96
Антиплагиат: Не указан

Описание работы

Логика.
Вообще тема логика, линейная темпоральная логика LTL. Это отчет о научной практике
Начиная с 3 пункта (3. The Complexity of L(F) / 3. Сложность L (F) ) требуется перевести статью и в местах где нет конкретного доказательства расписать в скобках. Например в каком - то месте указано что очевидно a=b нужно открыть скобки и расписать почему a=b.
Если за 1.5 недели справятся очень хорошо можно 2
Предложения экспертов
1
Хотите выполнять заказы?
Стать экспертом
Хотите заказать работу?
Разместить заказ

Рекомендуемые заказы

Контрольная
3 29
15 Окт в 14:2915.10.2018 в 14:29
19 Окт в 23:5519.10.2018 в 23:55
Контрольная
3 29
19 Окт в 23:5519.10.2018 в 23:55
Контрольная
1 21
17 Окт в 20:2717.10.2018 в 20:27
21 Окт в 23:5521.10.2018 в 23:55
Контрольная
1 21
21 Окт в 23:5521.10.2018 в 23:55
Контрольная
3 36
18 Окт в 11:5618.10.2018 в 11:56
21 Окт в 23:5521.10.2018 в 23:55
Контрольная
3 36
21 Окт в 23:5521.10.2018 в 23:55
Контрольная
3 17
18 Окт в 20:0118.10.2018 в 20:01
19 Окт в 12:0019.10.2018 в 12:00
Контрольная
3 17
19 Окт в 12:0019.10.2018 в 12:00