Результаты исследований группы Математики в проекте Вычисляем рассуждения: различия между версиями
Материал из Wiki Mininuniver
Перейти к навигацииПерейти к поиску (→Авторы и участники проекта) |
(→Результаты исследования) |
||
| (не показано 25 промежуточных версий 4 участников) | |||
| Строка 1: | Строка 1: | ||
| − | |||
==Название проекта== | ==Название проекта== | ||
| − | + | [[Учебный проект Вычисляем рассуждения]] | |
| − | |||
==Авторы и участники проекта== | ==Авторы и участники проекта== | ||
| − | #[[Участник:Самарин Артём Игоревич|Самарин Артём Игоревич]] | + | #[[Участник:Самарин Артём Игоревич|Самарин Артём Игоревич]] - поиск и обработка информации,подбор ссылок,Работа в wiki-портале |
| − | #[[Участник:Соклов Егор|Соколов Егор Олегович]] | + | #[[Участник:Соклов Егор|Соколов Егор Олегович]] - Работа в wiki-портале,обработка информации |
| − | #[[Участник:Кузнецов Дмитрий Владимирович|Кузнецов Дмитрий Владимирович]] | + | #[[Участник:Кузнецов Дмитрий Владимирович|Кузнецов Дмитрий Владимирович]] - создание Google Группы,Работа в wiki-портале |
| − | #[[Участник:Андрей Кленков|Кленков Андрей Сергеевич]] | + | #[[Участник:Андрей Кленков|Кленков Андрей Сергеевич]] -работа с картинками, создание карты знаний |
| − | #[[Участник:Михаил Большаков|Большаков Михаил Валерьевич]] | + | #[[Участник:Михаил Большаков|Большаков Михаил Валерьевич]] -обработка информации,Работа в wiki-портале |
| + | #[[Участник:Матвеев Роман|Матвеев Роман Александрович]] -обработка информации | ||
==Тема исследования группы== | ==Тема исследования группы== | ||
| Строка 18: | Строка 17: | ||
== Гипотеза исследования == | == Гипотеза исследования == | ||
| − | + | Мы предполагаем, что язык математической логики широко применим в математике. | |
==Цели исследования== | ==Цели исследования== | ||
Провести анализ возможностей использования языка математической логики для записи и доказательства математических утверждений. | Провести анализ возможностей использования языка математической логики для записи и доказательства математических утверждений. | ||
| + | ==Ход работы== | ||
| + | - Создать группу «Математики» на Google для организации взаимодействия в ходе исследовательской работы. | ||
| + | |||
| + | - Осуществить совместный подбор ссылок на Интернет-ресурсы и поиск информации в печатных изданиях по теме исследования. | ||
| − | + | - Провести анализ полученной информации по теме исследования и ответить на вопрос, как применяется язык логики предикатов для записи математических предложений, определений, построения отрицаний предложений. | |
| − | + | ||
| − | + | - Сформулировать выводы по результатам исследования. | |
| − | + | ||
| + | - Оформить результаты исследования. | ||
==Результаты исследования== | ==Результаты исследования== | ||
| − | + | *Мы создали группу «Математики» на [http://groups.google.com/group/MathVGIPU Google] для организации взаимодействия в ходе исследовательской работы. | |
| + | *Осуществили совместный подбор [http://bobrdobr.ru/group/4083726/ ссылок на Интернет-ресурсы] | ||
| + | *Создали карту знаний MindMeister, полная версия с активными заметками и вкладками находится [http://www.mindmeister.com/65848541/ здесь] | ||
| + | [[Изображение:Запись мат предложений в виде формул.gif|1250px]] | ||
==Вывод== | ==Вывод== | ||
| − | + | В результате работы над данным исследованием мы ознакомились с возможностями применения математической логики в математике,научились создавать карты знаний,нами был найден язык логики предикатов,удобный для записи математических предложений. Он дает возможность выражать логические связи между понятиями, записывать определения, теоремы, доказательства. | |
==Полезные ресурсы== | ==Полезные ресурсы== | ||
| − | + | *[http://chernykh.net/content/view/131/ Логика математическая] | |
| + | *[http://www.mccme.ru/free-books/ Н. К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов] | ||
| + | *[http://www.ido.rudn.ru/nfpk/inf/inf7.html Основы математической логики] | ||
| + | *[http://public.uic.rsu.ru/~skritski/math-inf/Sect01.htm Основы и история математической логики] | ||
| + | *[http://ait.ustu.ru/disciplines/matlog/main.htm Мат.логика и теория алгоритмов] | ||
| + | *[http://users.univer.omsk.su/~guts/logic.htm Математическая логика и теория алгоритмов А.К. Гуц] | ||
== Другие документы == | == Другие документы == | ||
| − | |||
| − | |||
[[Категория:Проекты]] | [[Категория:Проекты]] | ||
Текущая версия на 21:55, 31 октября 2010
Содержание
Название проекта
Учебный проект Вычисляем рассуждения
Авторы и участники проекта
- Самарин Артём Игоревич - поиск и обработка информации,подбор ссылок,Работа в wiki-портале
- Соколов Егор Олегович - Работа в wiki-портале,обработка информации
- Кузнецов Дмитрий Владимирович - создание Google Группы,Работа в wiki-портале
- Кленков Андрей Сергеевич -работа с картинками, создание карты знаний
- Большаков Михаил Валерьевич -обработка информации,Работа в wiki-портале
- Матвеев Роман Александрович -обработка информации
Тема исследования группы
Применение аппарата математической логики для формулировки и доказательства теорем
Проблемный вопрос (вопрос для исследования)
Как средствами математической логики можно формулировать и доказывать теоремы?
Гипотеза исследования
Мы предполагаем, что язык математической логики широко применим в математике.
Цели исследования
Провести анализ возможностей использования языка математической логики для записи и доказательства математических утверждений.
Ход работы
- Создать группу «Математики» на Google для организации взаимодействия в ходе исследовательской работы.
- Осуществить совместный подбор ссылок на Интернет-ресурсы и поиск информации в печатных изданиях по теме исследования.
- Провести анализ полученной информации по теме исследования и ответить на вопрос, как применяется язык логики предикатов для записи математических предложений, определений, построения отрицаний предложений.
- Сформулировать выводы по результатам исследования.
- Оформить результаты исследования.
Результаты исследования
- Мы создали группу «Математики» на Google для организации взаимодействия в ходе исследовательской работы.
- Осуществили совместный подбор ссылок на Интернет-ресурсы
- Создали карту знаний MindMeister, полная версия с активными заметками и вкладками находится здесь
Вывод
В результате работы над данным исследованием мы ознакомились с возможностями применения математической логики в математике,научились создавать карты знаний,нами был найден язык логики предикатов,удобный для записи математических предложений. Он дает возможность выражать логические связи между понятиями, записывать определения, теоремы, доказательства.
Полезные ресурсы
- Логика математическая
- Н. К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов
- Основы математической логики
- Основы и история математической логики
- Мат.логика и теория алгоритмов
- Математическая логика и теория алгоритмов А.К. Гуц
