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

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

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

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

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

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

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

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

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

Ход работы

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