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