Результаты исследований группы Математики в проекте Вычисляем рассуждения: различия между версиями
Материал из Wiki Mininuniver
Перейти к навигацииПерейти к поиску (→Тема исследования группы) |
(→Проблемный вопрос (вопрос для исследования)) |
||
| Строка 14: | Строка 14: | ||
== Проблемный вопрос (вопрос для исследования)== | == Проблемный вопрос (вопрос для исследования)== | ||
| − | + | Как средствами математической логики можно формулировать и доказывать теоремы? | |
| − | |||
== Гипотеза исследования == | == Гипотеза исследования == | ||
Версия 13:27, 12 октября 2010
Содержание
Название проекта
Авторы и участники проекта
Тема исследования группы
Применение аппарата математической логики для формулировки и доказательства теорем
Проблемный вопрос (вопрос для исследования)
Как средствами математической логики можно формулировать и доказывать теоремы?
