Адрес страницы: http://psychlib.ru/resource.php/pdf/studwork/BelovaYeV_2016/BelovaYeV_7.pdf
Описание
Белова Е. В. Метод конечной канонической модели в неклассических логиках: Автореф. вып. квалификац. работы: Бакалавр. работа: Направление 02.03.03 "Математическое обеспечение и администрирование информационных систем". Направленность программы "Информационные системы и базы данных" / Моск. гос. психолого-пед. ун-т. — М., 2016. — 7 с. — URL: http://psychlib.ru/inc/absid.php?absid=238862.
Рубрики:

 • Прочие отрасли знания → Математика

 • Работы студентов

Аннотация:
Современная математика и логика уже не могут существовать в ранее установленных границах. Неклассические логики, а в частности интуиционистская, существенно ближе человеческому сознанию, так как она не исключает существования общих правил. Согласно им, из одних истинных математических предложений интуитивно — ясным путем получаются другие. Кроме того, с практической точки зрения интуиционистскую логику крайне удобно использовать, поскольку в ней имеется свойство существования. Это позволяет использовать данный формат логики в качестве инструмента для других форм математического конструктивизма.
 • Открыть карточку в Электронном каталоге: 238862