Математика метаматематики

: : Разделы сайта : :

: : Популярное : :

: : Облако тегов : :

: : Немного рекламы : :

Обратная связьСвязь с администрацией

: : Цитата : :

Быть мужчиной - это не обязательно быть дураком. Желательно, конечно, но не обязательно.
Трое в Долине битвы Волхвов
© Юрий Никитин

: :События: :

Праздник или знаменательная дата отсутствует

: : Последние комментарии : :

Автор → poffigistka
в новости → 100 ловушек в личной жизни. Как их распознать и обойти

Автор → Mpak
в новости → Когда она ушла

Автор → oybekt
в новости → Когда она ушла

Автор → Mpak
в новости → Когда она ушла

Автор → poffigistka
в новости → Искусство быть эгоистом

Все комментарии

: : Опрос сайта : :

Битва Писателей, Кто Интересней

Показать все опросы

: : Топ пользователей сайта: :

1. Ник: oybekt - Медалей: 8
2. Ник: Mpak - Медалей: 6
3. Ник: magway - Медалей: 2
4. Ник: poffigistka - Медалей: 1

1. Ник: oybekt - Очков: 915
2. Ник: Mpak - Очков: 215
3. Ник: magway - Очков: 25
4. Ник: poffigistka - Очков: 10

: : Популярное за весь период: :

Математика метаматематики

Автор: Е.Расева, Р.Сикорский

Цикл: Математическая логика и основания математики -

Формат: djvu

Размер: 7,1 Мб

Язык: русский

Краткое описание:Метаматематика это теория, изучающая формализованные математические теории. Формализованная теория - это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, получаемые с помощью нескольких простых правил, служат заменой для предложений и функций интуитивной математической теории.

Теги:

Аудиокнига:

Автор: oybekt
Комментариев: 0
Просмотров: 897 |

Комментарии:

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.