Поиск :
Личный кабинет :
Электронный каталог: Белова, Елизавета Витальевна - Метод конечной канонической модели в неклассических логиках
Белова, Елизавета Витальевна - Метод конечной канонической модели в неклассических логиках
Нет экз.
Электронный ресурс
Автор: Белова, Елизавета Витальевна
Метод конечной канонической модели в неклассических логиках : выпускная квалификационная работа : бакалаврская работа
Издательство: Московский государственный психолого-педагогический университет, 2016 г.
ISBN отсутствует
Автор: Белова, Елизавета Витальевна
Метод конечной канонической модели в неклассических логиках : выпускная квалификационная работа : бакалаврская работа
Издательство: Московский государственный психолого-педагогический университет, 2016 г.
ISBN отсутствует
На полку
Электронный ресурс
22.1
Белова, Елизавета Витальевна.
Метод конечной канонической модели в неклассических логиках : выпускная квалификационная работа : бакалаврская работа / Елизавета Витальевна Белова. – Москва : Московский государственный психолого-педагогический университет, 2016. – 43 с. – URL: http://psychlib.ru/inc/absid.php?absid=238861 . – 02.03.03 - Математическое обеспечение и администрирование информационных систем. Направленность программы "Информационные системы и базы данных".
Современная математика и логика уже не могут существовать в ранее установленных границах. Неклассические логики, а в частности интуиционистская, существенно ближе человеческому сознанию, так как она не исключает существования общих правил. Согласно им, из одних истинных математических предложений интуитивно — ясным путем получаются другие. Кроме того, с практической точки зрения интуиционистскую логику крайне удобно использовать, поскольку в ней имеется свойство существования. Это позволяет использовать данный формат логики в качестве инструмента для других форм математического конструктивизма.
Modern mathematics and logic can no longer exist in previously established boundaries. Non-classical logics, intuitionistic in particular, are much closer to human consciousness, since it does not preclude the existence of common rules. According to them, from one of true mathematical propositions, by intuitively — clear track, are obtained others ones. Furthermore, from a practical standpoint, the intuitionistic logic is extremely convenient to use, because it has a property of existence. So, it allow to use this logic format as a tool for other forms of mathematical constructivism.
ББК 22.1
Б43
Общий = Математика
22.1
Белова, Елизавета Витальевна.
Метод конечной канонической модели в неклассических логиках : выпускная квалификационная работа : бакалаврская работа / Елизавета Витальевна Белова. – Москва : Московский государственный психолого-педагогический университет, 2016. – 43 с. – URL: http://psychlib.ru/inc/absid.php?absid=238861 . – 02.03.03 - Математическое обеспечение и администрирование информационных систем. Направленность программы "Информационные системы и базы данных".
Современная математика и логика уже не могут существовать в ранее установленных границах. Неклассические логики, а в частности интуиционистская, существенно ближе человеческому сознанию, так как она не исключает существования общих правил. Согласно им, из одних истинных математических предложений интуитивно — ясным путем получаются другие. Кроме того, с практической точки зрения интуиционистскую логику крайне удобно использовать, поскольку в ней имеется свойство существования. Это позволяет использовать данный формат логики в качестве инструмента для других форм математического конструктивизма.
Modern mathematics and logic can no longer exist in previously established boundaries. Non-classical logics, intuitionistic in particular, are much closer to human consciousness, since it does not preclude the existence of common rules. According to them, from one of true mathematical propositions, by intuitively — clear track, are obtained others ones. Furthermore, from a practical standpoint, the intuitionistic logic is extremely convenient to use, because it has a property of existence. So, it allow to use this logic format as a tool for other forms of mathematical constructivism.
ББК 22.1
Б43
Общий = Математика