Результаты исследований группы Математики в проекте Вычисляем рассуждения: различия между версиями
Материал из Wiki Mininuniver
Перейти к навигацииПерейти к поиску (→Результаты исследования) |
(→Результаты исследования) |
||
| Строка 29: | Строка 29: | ||
==Результаты исследования== | ==Результаты исследования== | ||
| − | + | Совместный подбор [http://bobrdobr.ru/userpages/group_bookmarks/ ссылок на Интернет-ресурсы] | |
| − | ] | ||
==Вывод== | ==Вывод== | ||
Версия 13:08, 19 октября 2010
Содержание
Название проекта
Авторы и участники проекта
- Самарин Артём Игоревич
- Соколов Егор Олегович
- Кузнецов Дмитрий Владимирович
- Кленков Андрей Сергеевич
- Большаков Михаил Валерьевич
Тема исследования группы
Применение аппарата математической логики для формулировки и доказательства теорем
Проблемный вопрос (вопрос для исследования)
Как средствами математической логики можно формулировать и доказывать теоремы?
Гипотеза исследования
Цели исследования
Провести анализ возможностей использования языка математической логики для записи и доказательства математических утверждений.
Ход работы
- Создание группы «Математики» на Google для организации взаимодействия в ходе исследовательской работы.
- Совместный подбор ссылок на Интернет-ресурсы и поиск информации в печатных изданиях по теме исследования
- Анализ полученных результатов исследования, представление их с помощью ленты времени.
Результаты исследования
Совместный подбор ссылок на Интернет-ресурсы
