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

Материал из Wiki Mininuniver
Перейти к навигацииПерейти к поиску
(Тема исследования группы)
(Проблемный вопрос (вопрос для исследования))
Строка 14: Строка 14:
  
 
== Проблемный вопрос (вопрос для исследования)==
 
== Проблемный вопрос (вопрос для исследования)==
 
+
Как средствами математической логики можно формулировать и доказывать теоремы?
 
 
  
 
== Гипотеза исследования ==
 
== Гипотеза исследования ==

Версия 13:27, 12 октября 2010


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

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

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

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

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

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

Как средствами математической логики можно формулировать и доказывать теоремы?

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

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

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

Вывод

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

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