Результаты исследований группы Математики в проекте Вычисляем рассуждения: различия между версиями
Материал из Wiki Mininuniver
Перейти к навигацииПерейти к поиску (→Полезные ресурсы) |
(→Полезные ресурсы) |
||
| Строка 36: | Строка 36: | ||
==Полезные ресурсы== | ==Полезные ресурсы== | ||
[http://chernykh.net/content/view/131/ Логика математическая] | [http://chernykh.net/content/view/131/ Логика математическая] | ||
| + | [http://www.mccme.ru/free-books/ Н. К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов] | ||
| + | [http://www.ido.rudn.ru/nfpk/inf/inf7.html Основы математической логики] | ||
| + | [http://public.uic.rsu.ru/~skritski/math-inf/Sect01.htm Основы и история математической логики] | ||
| + | [http://ait.ustu.ru/disciplines/matlog/main.htm Мат.логика и теория алгоритмов] | ||
| + | [http://users.univer.omsk.su/~guts/logic.htm Математическая логика | ||
| + | и теория алгоритмов А.К. Гуц] | ||
== Другие документы == | == Другие документы == | ||
Версия 13:20, 19 октября 2010
Содержание
Название проекта
Авторы и участники проекта
- Самарин Артём Игоревич
- Соколов Егор Олегович
- Кузнецов Дмитрий Владимирович
- Кленков Андрей Сергеевич
- Большаков Михаил Валерьевич
Тема исследования группы
Применение аппарата математической логики для формулировки и доказательства теорем
Проблемный вопрос (вопрос для исследования)
Как средствами математической логики можно формулировать и доказывать теоремы?
Гипотеза исследования
Цели исследования
Провести анализ возможностей использования языка математической логики для записи и доказательства математических утверждений.
Ход работы
- Создание группы «Математики» на Google для организации взаимодействия в ходе исследовательской работы.
- Совместный подбор ссылок на Интернет-ресурсы и поиск информации в печатных изданиях по теме исследования
- Анализ полученных результатов исследования, представление их с помощью ленты времени.
Результаты исследования
Совместный подбор ссылок на Интернет-ресурсы
Вывод
Полезные ресурсы
Логика математическая Н. К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов Основы математической логики Основы и история математической логики Мат.логика и теория алгоритмов [http://users.univer.omsk.su/~guts/logic.htm Математическая логика и теория алгоритмов А.К. Гуц]
