Конструктивная Семантика

- раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. Л. Шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии исключенного третьего закона и двойного отрицания закона При обозначении систем чистой логики (исчисление высказываний, предикатов) термины "конструктивное", "интуиционистское", "гейтинговское" часто считаются синонимами (см. Рейтинга формальн..

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

- понятие, введенное С. Н. Бернштейном, назвавшим К. Т. Ф. "направление теории функций, которое ставит себе целью дать возможно более простую и удобную основу для качественного изучения и вычисления как эмпирических функций, так и всяких функций, являющихся решениями естественно поставленных задач математического анализа" [1]. Имелось в виду, что К. Т. Ф. Должна содержать теорию приближения (аппроксимации) функций в качестве одного из своих разделов. Однако фактически название К. Т. Ф. Получило ..

конструктивная функция,- понятие функции одного и многих действительных переменных, используемое в конструктивной математике. Предложено А. А. Марковым. Может трактоваться как частный случай понятия алгоритмического оператора в конструктивных метрич. Пространствах. См. Также Конструктивный анализ, Конструктивное метрическое пространство. Б. А. Кушнер.. ..