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

Материал из Wiki Mininuniver
Перейти к навигацииПерейти к поиску

Название проекта

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

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

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

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

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

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

Гипотеза исследования

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

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


Ход работы

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

Результаты исследования

Совместный подбор ссылок на Интернет-ресурсы

Вывод

Полезные ресурсы

Логика математическая

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

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