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

Материал из Wiki Mininuniver
Перейти к навигацииПерейти к поиску
(Авторы и участники проекта)
(Другие документы)
Строка 38: Строка 38:
  
 
== Другие документы ==
 
== Другие документы ==
 +
[[Учебный проект Вычисляем рассуждения]]
  
 
[[Категория:Проекты]]
 
[[Категория:Проекты]]

Версия 11:54, 19 октября 2010

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

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

  1. Самарин Артём Игоревич
  2. Соколов Егор Олегович
  3. Кузнецов Дмитрий Владимирович
  4. Кленков Андрей Сергеевич

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

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

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

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

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

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

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


Ход работы

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

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

Вывод

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

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

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