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

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

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

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

1. Самарин Артём Игоревич - поиск и обработка информации,подбор ссылок,Работа в wiki-портале
2. Соколов Егор Олегович - Работа в wiki-портале,обработка информации
3. Кузнецов Дмитрий Владимирович - создание Google Группы,Работа в wiki-портале
4. Кленков Андрей Сергеевич -работа с картинками, создание карты знаний
5. Большаков Михаил Валерьевич -обработка информации,Работа в wiki-портале
6. Матвеев Роман Александрович -обработка информации

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

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

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

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

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

Мы предполагаем, что язык математической логики широко применим в математике.

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

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

Ход работы

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

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

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

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

• Логика математическая
• Н. К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов
• Основы математической логики
• Основы и история математической логики
• Мат.логика и теория алгоритмов
• Математическая логика и теория алгоритмов А.К. Гуц