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

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

Версия 13:30, 19 октября 2010

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

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

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

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

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

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

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

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

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

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


Ход работы

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

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

Вывод

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

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

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

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