Результаты исследований группы Математики в проекте Вычисляем рассуждения: различия между версиями
Материал из Wiki Mininuniver
Перейти к навигацииПерейти к поиску (→Авторы и участники проекта) |
(→Тема исследования группы) |
||
| Строка 11: | Строка 11: | ||
==Тема исследования группы== | ==Тема исследования группы== | ||
| − | + | Применение аппарата математической логики для формулировки и доказательства теорем | |
| − | |||
== Проблемный вопрос (вопрос для исследования)== | == Проблемный вопрос (вопрос для исследования)== | ||
Версия 13:27, 12 октября 2010
Содержание
Название проекта
Авторы и участники проекта
Тема исследования группы
Применение аппарата математической логики для формулировки и доказательства теорем
