Результаты исследований группы Математики в проекте Вычисляем рассуждения

Материал из НГПУ им. К.Минина
Версия от 13:27, 12 октября 2010; Самарин Артём Игоревич (обсуждение | вклад) (→‎Тема исследования группы)

Перейти к: навигация, поиск


Название проекта

Авторы и участники проекта

  1. Самарин Артём Игоревич
  2. Соколов Егор Олегович
  3. Кузнецов Дмитрий Владимирович

Тема исследования группы

Применение аппарата математической логики для формулировки и доказательства теорем

Проблемный вопрос (вопрос для исследования)

Гипотеза исследования

Цели исследования

Результаты исследования

Вывод

Полезные ресурсы

Другие документы

Источник — «https://wiki.mininuniver.ru/index.php?title=Результаты_исследований_группы_Математики_в_проекте_Вычисляем_рассуждения&oldid=12950»