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