2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: Проект Metamath в учебных целях
Сообщение30.05.2016, 14:31 
Заслуженный участник


27/04/09
28128
kp9r4d в сообщении #1127101 писал(а):
Ну мне кажется, что это одна из возможных технических реализаций таких понятий как "схема аксиом" и "правило вывода", нежели какое-то "концептуальное расширение" теории.
Может быть. В любом случае, как ни назови, согласен с остальным, что вы сказали.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 16 ]  На страницу Пред.  1, 2

Модераторы: Модераторы, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group