Интуиционистское Исчисление Предикатов

- см. Интуиционизм.. ..

- логическое исчисление, описывающее способы вывода высказываний, истинных с точки зрения интуиционизма. Общепринятая (к 1978) формулировка И. И. В. Была предложена А. Рейтингом (A. Heyting) в 1930. Основное ее отличие от классич. Исчисления высказываний состоит в замене исключенного третьего закона (или эквивалентного ему закона снятия двойного отрицания) более слабым принципом противоречия. Один из распространенных вариантов И. И. В. Формулируется следующим образом. Пусть А, В, С- произв..

- первоначальное название дифференциально-геометрич. Структуры на расслоенном пространстве, к-рую впоследствии стали называть просто связность. Ю. Г. Лумисте.. ..

- структура на и-мерном дифференцируемом многообразии М п, к-рая определяется приведением структурной дифференциальной группы Drn главного расслоения реперов r-го порядка на М п, т. Е. Обратимых г-струй из Rn в М п с началом к нек-рой своей подгруппе Ли G. Другими словами, на М п задана И. С. R-го порядка, если в факторрасслоении главного расслоения реперов r-го порядка на М п по подгруппе Ли выделено век-рое сечение. При r=1 И. С. Наз. Также G-структурой на М п, а при r>1 на..