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