!!Внимание!!
: : Разделы сайта : :
: : Популярное : :
: : Облако тегов : :
: : Немного рекламы : :
Обратная связьСвязь с администрацией
- Гость
Пожалуйста, зарегистрируйтесь
: : Цитата : :
: :События: :
Праздник или знаменательная дата отсутствует
: : Последние комментарии : :
 |
Автор → poffigistka
в новости → 100 ловушек в личной жизни. Как их распознать и обойти |
 |
Автор → Mpak
в новости → Когда она ушла |
 |
Автор → oybekt
в новости → Когда она ушла |
|
Автор → Mpak
в новости → Когда она ушла |
|
Автор → poffigistka
в новости → Искусство быть эгоистом |
Все комментарии
: : Опрос сайта : :
: : Топ пользователей сайта: :
: : Популярное за весь период: :
| Научно-популярное / Образование 11 ноября 2012 |
Автор: Е.Расева, Р.Сикорский
Формат: djvu
Размер: 7,1 Мб
Язык: русский
Краткое описание:Метаматематика это теория, изучающая формализованные математические теории. Формализованная теория - это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, получаемые с помощью нескольких простых правил, служат заменой для предложений и функций интуитивной математической теории.
Теги:
Аудиокнига:
- Автор: oybekt
- Комментариев: 0
- Просмотров: 905
|
Комментарии:
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.