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

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

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

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

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

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

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

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

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

Ход работы

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

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

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

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

Логика математическая Н. К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов Основы математической логики Основы и история математической логики Мат.логика и теория алгоритмов [http://users.univer.omsk.su/~guts/logic.htm Математическая логика и теория алгоритмов А.К. Гуц]

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

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