ОБЩИЕ ТРЕБОВАНИЯ к выполнению заданий по курсу "Автоматическое доказательство теорем" кафедра компьютерных технологий, ДНУ 2011/2012 уч.г. Задания по курсу "АДТ" выполняются и сдаются с использованием компьютера. Основным результатом выполнения каждого задания является отчет по установленной форме (см. Приложение). К отчету могут прилагаться файлы с текстами программ, исполнимые файлы, файлы тестовых и результирующих данных и т.д. Отчет о лабораторной работе должен быть сдан в установленный для данной работы срок. Отчет может быть сдан любым из следующих способов: а) в виде электронного файла; б) в печатном виде; в) в рукописном виде. ПРИЛОЖЕНИЕ Форма отчета о задании учебной практики ---------------------------------------------------------------- ОТЧЕТ О ВЫПОЛНЕННОМ ЗАДАНИИ по курсу "Автоматическое доказательство теорем" студент(а/ки) группы ХХ-ХХ-Х <ФИО> ЗАДАНИЕ № ... кафедра компьютерных технологий, ДНУ 2011/2012 уч.г. 1. Постановка задачи . . . 2. Описание решения . . . 3. Исходный текст программы решения задачи . . . 4. Описание интерфейса (руководство пользователя) . . . 5. Описание тестовых примеров . . . 6. Анализ ошибок (описание устранения замечаний) . . .