Результаты исследований группы Математики в проекте Вычисляем рассуждения

Авторы и участники проекта

1. Самарин Артём Игоревич
2. Соколов Егор Олегович
3. Кузнецов Дмитрий Владимирович
4. Кленков Андрей Сергеевич
5. Большаков Михаил Валерьевич

Тема исследования группы

Применение аппарата математической логики для формулировки и доказательства теорем

Проблемный вопрос (вопрос для исследования)

Как средствами математической логики можно формулировать и доказывать теоремы?

Цели исследования

Провести анализ возможностей использования языка математической логики для записи и доказательства математических утверждений.

Ход работы

• Создание группы «Математики» на Google для организации взаимодействия в ходе исследовательской работы.
• Совместный подбор ссылок на Интернет-ресурсы и поиск информации в печатных изданиях по теме исследования
• Анализ полученных результатов исследования, представление их с помощью ленты времени.

Другие документы

Учебный проект Вычисляем рассуждения