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

Материал из Wiki Mininuniver
Перейти к навигацииПерейти к поиску
(Гипотеза исследования)
(Авторы и участники проекта)
Строка 3: Строка 3:
  
 
==Авторы и участники проекта==
 
==Авторы и участники проекта==
#[[Участник:Самарин Артём Игоревич|Самарин Артём Игоревич]]
+
#[[Участник:Самарин Артём Игоревич|Самарин Артём Игоревич]] - поиск и обработка информации,подбор ссылок,Работа в wiki-портале 
#[[Участник:Соклов Егор|Соколов Егор Олегович]]
+
#[[Участник:Соклов Егор|Соколов Егор Олегович]] - Работа в wiki-портале,обработка информации
#[[Участник:Кузнецов Дмитрий Владимирович|Кузнецов Дмитрий Владимирович]]
+
#[[Участник:Кузнецов Дмитрий Владимирович|Кузнецов Дмитрий Владимирович]] - создание Google Группы,Работа в wiki-портале 
#[[Участник:Андрей Кленков|Кленков Андрей Сергеевич]]
+
#[[Участник:Андрей Кленков|Кленков Андрей Сергеевич]] -работа с картинками, создание карты знаний
#[[Участник:Михаил Большаков|Большаков Михаил Валерьевич]]
+
#[[Участник:Михаил Большаков|Большаков Михаил Валерьевич]] -обработка информации,Работа в wiki-портале
#[[Участник:Матвеев Роман|Матвеев Роман Александрович]]
+
#[[Участник:Матвеев Роман|Матвеев Роман Александрович]] -обработка информации
  
 
==Тема исследования группы==
 
==Тема исследования группы==

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

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

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

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

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

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

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

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

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

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

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

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

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


Ход работы

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

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

Вывод

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

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