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