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

Материал из Wiki Mininuniver
Перейти к навигацииПерейти к поиску
(→‎Ход работы)
(→‎Ход работы)
Строка 25: Строка 25:
 
==Ход работы==
 
==Ход работы==
 
- Создать группу «Математики» на Google для организации взаимодействия в ходе исследовательской работы.
 
- Создать группу «Математики» на Google для организации взаимодействия в ходе исследовательской работы.
 +
 
- Осуществить совместный подбор ссылок на Интернет-ресурсы  и поиск информации в печатных изданиях по теме исследования.
 
- Осуществить совместный подбор ссылок на Интернет-ресурсы  и поиск информации в печатных изданиях по теме исследования.
 +
 
- Провести анализ полученной информации по теме исследования и ответить на вопрос, как применяется язык логики предикатов для записи математических предложений, определений, построения отрицаний предложений.
 
- Провести анализ полученной информации по теме исследования и ответить на вопрос, как применяется язык логики предикатов для записи математических предложений, определений, построения отрицаний предложений.
 +
 
- Сформулировать выводы по результатам исследования.  
 
- Сформулировать выводы по результатам исследования.  
 +
 
- Оформить результаты исследования.
 
- Оформить результаты исследования.
  

Версия 11:41, 26 октября 2010

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

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

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

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

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

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

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

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

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

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

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

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


Ход работы

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

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

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

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

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

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

Вывод

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

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

Источник — https://wiki.mininuniver.ru/index.php?title=Результаты_исследований_группы_Математики_в_проекте_Вычисляем_рассуждения&oldid=14492