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