Научный форум dxdy
Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Список форумов
»
Математика
»
Помогите решить / разобраться (М)
»
Чулан (М)
формальное доказательство теорем
Пред. тема
|
След. тема
mikhaylo
формальное доказательство теорем
04.01.2010, 21:26
здравствуйте
посоветуйте информацию по формальному доказательству теорем
AD
Уровень?
05.01.2010, 18:00
Начать можно с
этого
...
PAV
Re: формальное доказательство теорем
05.01.2010, 22:52
i
В учебный раздел.
Страница
1
из
1
[ Сообщений: 3 ]
Список форумов
»
Математика
»
Помогите решить / разобраться (М)
»
Чулан (М)