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

Материал из Wiki Mininuniver
Перейти к навигацииПерейти к поиску
(→‎Результаты исследования)
Строка 29: Строка 29:
  
 
==Результаты исследования==
 
==Результаты исследования==
−
*Совместный подбор [http://bobrdobr.ru/userpages/group_bookmarks/ ссылок на Интернет-ресурсы]
+
*Совместный подбор [http://bobrdobr.ru/group/4083726/ ссылок на Интернет-ресурсы]
 
*[http://www.mindmeister.com/65848541/ Карта знаний]
 
*[http://www.mindmeister.com/65848541/ Карта знаний]
  

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

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

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

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

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

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

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

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

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

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

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

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


Ход работы

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

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

Вывод

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

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

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