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

Материал из Wiki Mininuniver
Перейти к навигацииПерейти к поиску
(Результаты исследования)
 
(не показаны 24 промежуточные версии 4 участников)
Строка 1: Строка 1:
 
==Название проекта==
 
==Название проекта==
 
+
[[Учебный проект Вычисляем рассуждения]]
 
 
  
 
==Авторы и участники проекта==
 
==Авторы и участники проекта==
#[[Участник:Самарин Артём Игоревич|Самарин Артём Игоревич]]
+
#[[Участник:Самарин Артём Игоревич|Самарин Артём Игоревич]] - поиск и обработка информации,подбор ссылок,Работа в wiki-портале 
#[[Участник:Соклов Егор|Соколов Егор Олегович]]
+
#[[Участник:Соклов Егор|Соколов Егор Олегович]] - Работа в wiki-портале,обработка информации
#[[Участник:Кузнецов Дмитрий Владимирович|Кузнецов Дмитрий Владимирович]]
+
#[[Участник:Кузнецов Дмитрий Владимирович|Кузнецов Дмитрий Владимирович]] - создание Google Группы,Работа в wiki-портале 
#[[Участник:Андрей Кленков|Кленков Андрей Сергеевич]]
+
#[[Участник:Андрей Кленков|Кленков Андрей Сергеевич]] -работа с картинками, создание карты знаний
#[[Участник:Михаил Большаков|Большаков Михаил Валерьевич]]
+
#[[Участник:Михаил Большаков|Большаков Михаил Валерьевич]] -обработка информации,Работа в wiki-портале
 +
#[[Участник:Матвеев Роман|Матвеев Роман Александрович]] -обработка информации
  
 
==Тема исследования группы==
 
==Тема исследования группы==
Строка 17: Строка 17:
  
 
== Гипотеза исследования ==
 
== Гипотеза исследования ==
 
+
Мы предполагаем, что язык математической логики широко применим в математике.
  
 
==Цели исследования==
 
==Цели исследования==
 
Провести анализ возможностей использования языка математической логики для записи и доказательства математических утверждений.
 
Провести анализ возможностей использования языка математической логики для записи и доказательства математических утверждений.
  
 +
==Ход работы==
 +
- Создать группу «Математики» на Google для организации взаимодействия в ходе исследовательской работы.
 +
 +
- Осуществить совместный подбор ссылок на Интернет-ресурсы  и поиск информации в печатных изданиях по теме исследования.
 +
 +
- Провести анализ полученной информации по теме исследования и ответить на вопрос, как применяется язык логики предикатов для записи математических предложений, определений, построения отрицаний предложений.
 +
 +
- Сформулировать выводы по результатам исследования.
  
==Ход работы==
+
- Оформить результаты исследования.
*Создание группы «Математики» на Google для организации взаимодействия в ходе исследовательской работы.
 
*Совместный подбор ссылок на Интернет-ресурсы  и поиск информации в печатных изданиях по теме исследования
 
*Анализ полученных результатов исследования, представление их с помощью ленты времени.
 
  
 
==Результаты исследования==
 
==Результаты исследования==
*Совместный подбор http://bobrdobr.ru/userpages/group_bookmarks/ ссылок на Интернет-ресурсы  
+
*Мы создали группу «Математики» на [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

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

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

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

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

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

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

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

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

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

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

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

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

Ход работы

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

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

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

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

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

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

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

Запись мат предложений в виде формул.gif

Вывод

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

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

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