Реферат, тема в описании
Cрок выполнения : 10 дней
Вид работы : Рефераты
Дисциплины:
Математические: Логика, теория Алгоритмов и Автоматов.
|
|
Добавлен 04.01.2012 11:41:34
Уникальность:
Доработка:
Подробно: Тема: "Применение компьютеров для доказательства теорем математической логики." Нумерация страниц начинается со стр. "Введение"(стр №3) и далее по порядку. План реферата: Содержание. Введение - 1стр. Основная часть(обязательны сноски на источники). Заключение - 1стр. Список использованной литературы. Кегль 14, шрифт Times New Roman, полуторный интервал, левые поля 2,5, все остальные 2. Текст - равнение по ширине.
Кратко: Тема: "Применение компьютеров для доказательства теорем математической логики."