Описание
Белова Е. В. Метод конечной канонической модели в неклассических логиках: Вып. квалификац. работа: Бакалавр. работа: Направление 02.03.03 "Математическое обеспечение и администрирование информационных систем". Направленность программы "Информационные системы и базы данных" / Моск. гос. психолого-пед. ун-т. — М., 2016. — 43 с. — URL: https://psychlib.ru/inc/absid.php?absid=238861.
Титульный лист
Рубрики:
• Прочие отрасли знания → Математика
Аннотация:
Современная математика и логика уже не могут существовать в ранее установленных границах. Неклассические логики, а в частности интуиционистская, существенно ближе человеческому сознанию, так как она не исключает существования общих правил. Согласно им, из одних истинных математических предложений интуитивно — ясным путем получаются другие. Кроме того, с практической точки зрения интуиционистскую логику крайне удобно использовать, поскольку в ней имеется свойство существования. Это позволяет использовать данный формат логики в качестве инструмента для других форм математического конструктивизма.
Современная математика и логика уже не могут существовать в ранее установленных границах. Неклассические логики, а в частности интуиционистская, существенно ближе человеческому сознанию, так как она не исключает существования общих правил. Согласно им, из одних истинных математических предложений интуитивно — ясным путем получаются другие. Кроме того, с практической точки зрения интуиционистскую логику крайне удобно использовать, поскольку в ней имеется свойство существования. Это позволяет использовать данный формат логики в качестве инструмента для других форм математического конструктивизма.
• Открыть карточку в Электронном каталоге: 238861
