Построение эрбрановского универсума на заданную глубину

  • Статус заказа: Поиск исполнителя
  • Просмотрено: 523 раз.

Здравствуйте! Тема курсовой работы: Построение эрбрановского универсума на заданную глубину! Нужна и практическая часть, т.е. должна быть программа на языке программирования (желательно РЕФАЛ, JAVA, или C++) которое и выполняет это действие! Сколько будет это стоять? Вот содержание которое должно быть в курсовой работе:
1)Введение
2)Неформальная постановка задачи
3)Формальная постановка задачи
3.1)Синтаксис языка
3.1.1)Бесконтекстный синтаксис (В форме БНФ)
3.1.2)Контекстные условия (Все переменные должны быть под кванторами)
3.1.3) Формальное описание результата и связи между входными данными и результатаом
4)Описание способа решения(обзор прототипов)
5)Описание программы
6)Результаты тестирования
7)Заключение (Вывод с итогом по проделанной работе)
8) Литература (Должна быть книга " Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем" )
9)Код программы
10)Инструкция по использованию
11)Распечатка тестовых прогонов.

Файлы проекта:


Предложения специалистов: ✍ 0

Предложений нет
Оставлять свои предложения по проекту могут только зарегистрированные пользователи с аккаунтом специалиста.
Зарегистрируйтесь или войдите на сайт под своим именем.