задание по предикатному программированию
Отменен
Заказ
3877408
Раздел
Программирование
Предмет
Основы программирования
Тип работы
Антиплагиат
Не указан
Срок сдачи
6 Фев 2021 в 23:55
Цена
Договорная
Блокировка
10 дней
Размещен
3 Фев 2021 в 13:47
Просмотров
62
Описание работы
Дана задача для выполнения индивидуального задание на построение формальной спецификации (предусловия и постусловия) для содержательно сформулированной постановки задачи. Обязательной частью задания является также написание предикатной программы. Выполненное задание оформляется в виде файла на языке предикатного программирования и посылается по электронной почте преподавателю. Предикатная программа вместе с формальной спецификацией используется далее студентом для выполнения второго задания по доказательству в одной из систем PVS или why3 формул тотальной корректности программы.
Задача
5. Определить угол между двумя векторами в n-мерном пространстве
Нужна такая же работа?
- Разместите заказ
- Выберите исполнителя
- Получите результат
| Гарантия на работу | 1 год |
| Средний балл | 4.96 |
| Стоимость | Назначаете сами |
| Эксперт | Выбираете сами |
| Уникальность работы | от 70% |
Предыдущий заказ
Следующий заказ
Нужна аналогичная работа?
Оформи быстрый заказ и узнай стоимость
Гарантированные бесплатные доработки
Быстрое выполнение от 2 часов
Проверка работы на плагиат
