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