Результаты исследований группы Математики в проекте Вычисляем рассуждения — различия между версиями
Материал из НГПУ им. К.Минина
(→Полезные ресурсы) |
(→Авторы и участники проекта) |
||
| Строка 9: | Строка 9: | ||
#[[Участник:Андрей Кленков|Кленков Андрей Сергеевич]] | #[[Участник:Андрей Кленков|Кленков Андрей Сергеевич]] | ||
#[[Участник:Михаил Большаков|Большаков Михаил Валерьевич]] | #[[Участник:Михаил Большаков|Большаков Михаил Валерьевич]] | ||
| + | #[[Участник:Матвеев Роман|Матвеев Роман Александрович]] | ||
==Тема исследования группы== | ==Тема исследования группы== | ||
Версия 13:24, 19 октября 2010
Содержание
Название проекта
Авторы и участники проекта
- Самарин Артём Игоревич
- Соколов Егор Олегович
- Кузнецов Дмитрий Владимирович
- Кленков Андрей Сергеевич
- Большаков Михаил Валерьевич
- Матвеев Роман Александрович
Тема исследования группы
Применение аппарата математической логики для формулировки и доказательства теорем
Проблемный вопрос (вопрос для исследования)
Как средствами математической логики можно формулировать и доказывать теоремы?
Гипотеза исследования
Цели исследования
Провести анализ возможностей использования языка математической логики для записи и доказательства математических утверждений.
Ход работы
- Создание группы «Математики» на Google для организации взаимодействия в ходе исследовательской работы.
- Совместный подбор ссылок на Интернет-ресурсы и поиск информации в печатных изданиях по теме исследования
- Анализ полученных результатов исследования, представление их с помощью ленты времени.
Результаты исследования
Совместный подбор ссылок на Интернет-ресурсы
Вывод
Полезные ресурсы
- Логика математическая
- Н. К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов
- Основы математической логики
- Основы и история математической логики
- Мат.логика и теория алгоритмов
- Математическая логика и теория алгоритмов А.К. Гуц
