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

Версия 00:24, 29 октября 2010

Содержание

1 Название проекта
2 Авторы и участники проекта
3 Тема исследования группы
4 Проблемный вопрос (вопрос для исследования)
5 Гипотеза исследования
6 Цели исследования
7 Ход работы
8 Результаты исследования
9 Вывод
10 Полезные ресурсы
11 Другие документы

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

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

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

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

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

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

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

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

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

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

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

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

Ход работы

- Создать группу «Математики» на Google для организации взаимодействия в ходе исследовательской работы.

- Осуществить совместный подбор ссылок на Интернет-ресурсы и поиск информации в печатных изданиях по теме исследования.

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

- Сформулировать выводы по результатам исследования.

- Оформить результаты исследования.

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

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

Вывод

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

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

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

@@ Строка 36: / Строка 36: @@
 *Создали группу «Математики» на [http://groups.google.com/group/MathVGIPU Google] для организации взаимодействия в ходе исследовательской работы.
 *Мы осуществили совместный подбор [http://bobrdobr.ru/group/4083726/ ссылок на Интернет-ресурсы]
-*Мы создали карту знаний MindMeister с активными гиперссылками [http://www.mindmeister.com/65848541/ Карта знаний]
+*Мы создали [http://www.mindmeister.com/65848541/ карту знаний MindMeister] с активными заметками и вкладками [[Изображение:Запись математических предложений в виде формул, ло.gif|200px|Превью]]
 ==Вывод==