4th century BC in India

Вики

Империя Маурьев

Империя Маурьев Основание империи Маурьев Чандрагупта Маурья основал империю Маурьев в Индии в 321 году до нашей эры.  Империя включала […]

Вики

Аштадхьяи

Аштадхьяйи Обзор грамматики Панини Панини – индийский грамматист, живший в V веке до н.э.  Его грамматика “Аштадхьяи” считается основой санскритской

Вики

Формальная система

Формальная система Определение формальной системы Формальная система – это абстрактная структура, используемая для вывода теорем из аксиом.  Дэвид Гильберт предложил

Вики

Формальная система

Формальная система Формальная система – абстрактная структура и формализация аксиоматической системы для вывода теорем.  Дэвид Гильберт предложил использовать формальные системы

Прокрутить вверх