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

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

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

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

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

Онлайн-помощь
0 9
13 Дек в 10:4813.12.2018 в 10:48
14 Дек в 23:5514.12.2018 в 23:55
Онлайн-помощь
0 9
14 Дек в 23:5514.12.2018 в 23:55
Контрольная
1 35
12 Дек в 21:0612.12.2018 в 21:06
14 Дек в 10:0014.12.2018 в 10:00
Контрольная
1 35
14 Дек в 10:0014.12.2018 в 10:00
Контрольная
1 30
12 Дек в 22:0212.12.2018 в 22:02
15 Дек в 10:0015.12.2018 в 10:00
Контрольная
1 30
15 Дек в 10:0015.12.2018 в 10:00
Реферат
1 12
13 Дек в 10:1313.12.2018 в 10:13
17 Дек в 10:0017.12.2018 в 10:00
Реферат
1 12
17 Дек в 10:0017.12.2018 в 10:00