Результаты исследований группы Математики в проекте Вычисляем рассуждения
Содержание
Название проекта
Учебный проект Вычисляем рассуждения
Авторы и участники проекта
- Самарин Артём Игоревич - поиск и обработка информации,подбор ссылок,Работа в wiki-портале
- Соколов Егор Олегович - Работа в wiki-портале,обработка информации
- Кузнецов Дмитрий Владимирович - создание Google Группы,Работа в wiki-портале
- Кленков Андрей Сергеевич -работа с картинками, создание карты знаний
- Большаков Михаил Валерьевич -обработка информации,Работа в wiki-портале
- Матвеев Роман Александрович -обработка информации
Тема исследования группы
Применение аппарата математической логики для формулировки и доказательства теорем
Проблемный вопрос (вопрос для исследования)
Как средствами математической логики можно формулировать и доказывать теоремы?
Гипотеза исследования
Мы предполагаем, что язык математической логики широко применим в математике.
Цели исследования
Провести анализ возможностей использования языка математической логики для записи и доказательства математических утверждений.
Ход работы
- Создать группу «Математики» на Google для организации взаимодействия в ходе исследовательской работы.
- Осуществить совместный подбор ссылок на Интернет-ресурсы и поиск информации в печатных изданиях по теме исследования.
- Провести анализ полученной информации по теме исследования и ответить на вопрос, как применяется язык логики предикатов для записи математических предложений, определений, построения отрицаний предложений.
- Сформулировать выводы по результатам исследования.
- Оформить результаты исследования.
Результаты исследования
- Мы создали группу «Математики» на Google для организации взаимодействия в ходе исследовательской работы.
- Осуществили совместный подбор ссылок на Интернет-ресурсы
- Создали карту знаний MindMeister, полная версия с активными заметками и вкладками находится здесь
Вывод
В результате работы над данным исследованием мы ознакомились с возможностями применения математической логики в математике,научились создавать карты знаний,нами был найден язык логики предикатов,удобный для записи математических предложений. Он дает возможность выражать логические связи между понятиями, записывать определения, теоремы, доказательства.
Полезные ресурсы
- Логика математическая
- Н. К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов
- Основы математической логики
- Основы и история математической логики
- Мат.логика и теория алгоритмов
- Математическая логика и теория алгоритмов А.К. Гуц
