Результаты исследований группы Математики в проекте Вычисляем рассуждения: различия между версиями
(→Результаты исследования) |
|||
| Строка 36: | Строка 36: | ||
*Создали группу «Математики» на [http://groups.google.com/group/MathVGIPU Google] для организации взаимодействия в ходе исследовательской работы. | *Создали группу «Математики» на [http://groups.google.com/group/MathVGIPU Google] для организации взаимодействия в ходе исследовательской работы. | ||
*Мы осуществили совместный подбор [http://bobrdobr.ru/group/4083726/ ссылок на Интернет-ресурсы] | *Мы осуществили совместный подбор [http://bobrdobr.ru/group/4083726/ ссылок на Интернет-ресурсы] | ||
| − | *Мы создали [http://www.mindmeister.com/65848541/ карту знаний MindMeister] с активными заметками и вкладками [[Изображение:Запись математических предложений в виде формул, ло.gif| | + | *Мы создали [http://www.mindmeister.com/65848541/ карту знаний MindMeister] с активными заметками и вкладками [[Изображение:Запись математических предложений в виде формул, ло.gif|150px]] |
==Вывод== | ==Вывод== | ||
Версия 00:31, 29 октября 2010
Содержание
Название проекта
Учебный проект Вычисляем рассуждения
Авторы и участники проекта
- Самарин Артём Игоревич - поиск и обработка информации,подбор ссылок,Работа в wiki-портале
- Соколов Егор Олегович - Работа в wiki-портале,обработка информации
- Кузнецов Дмитрий Владимирович - создание Google Группы,Работа в wiki-портале
- Кленков Андрей Сергеевич -работа с картинками, создание карты знаний
- Большаков Михаил Валерьевич -обработка информации,Работа в wiki-портале
- Матвеев Роман Александрович -обработка информации
Тема исследования группы
Применение аппарата математической логики для формулировки и доказательства теорем
Проблемный вопрос (вопрос для исследования)
Как средствами математической логики можно формулировать и доказывать теоремы?
Гипотеза исследования
Мы предполагаем, что язык математической логики широко применим в математике.
Цели исследования
Провести анализ возможностей использования языка математической логики для записи и доказательства математических утверждений.
Ход работы
- Создать группу «Математики» на Google для организации взаимодействия в ходе исследовательской работы.
- Осуществить совместный подбор ссылок на Интернет-ресурсы и поиск информации в печатных изданиях по теме исследования.
- Провести анализ полученной информации по теме исследования и ответить на вопрос, как применяется язык логики предикатов для записи математических предложений, определений, построения отрицаний предложений.
- Сформулировать выводы по результатам исследования.
- Оформить результаты исследования.
Результаты исследования
- Создали группу «Математики» на Google для организации взаимодействия в ходе исследовательской работы.
- Мы осуществили совместный подбор ссылок на Интернет-ресурсы
- Мы создали карту знаний MindMeister с активными заметками и вкладками
Вывод
В результате работы над данным исследованием мы ознакомились с возможностями применения математической логики в математике,научились создавать карты знаний,нами был найден язык логики предикатов,удобный для записи математических предложений. Он дает возможность выражать логические связи между понятиями, записывать определения, теоремы, доказательства.
Полезные ресурсы
- Логика математическая
- Н. К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов
- Основы математической логики
- Основы и история математической логики
- Мат.логика и теория алгоритмов
- Математическая логика и теория алгоритмов А.К. Гуц
