Конструктивная логика

функциональные и морфологические особенности организма, сложившиеся на основе наследственных и приобретённых свойств и определяющие реактивность организма на различные (в т. Ч. Болезнетворные) воздействия. Строение и функциональные особенности организма у различных людей в какой-то мере могут быть сходными, что позволяет говорить о типах К. Ч. Чаще К. Ч. Определяется по телосложению — совокупности внешних признаков (рост, вес, пропорциональность отдельных размеров тела, степень развития мускула..

направление в советском искусстве 1920-х гг. (в архитектуре, оформительском и театрально-декорационном искусствах, в плакате и искусстве книги, художественном конструировании (См. Художественное конструирование), а также в литературе). Первая организация конструктивистов (А. М. Ган, А. М. Родченко, братья В. А. И Г. А. Стенберги, В. Ф. Степанова и др.) возникла в Инхуке в 1921. Сторонники К., выдвинув задачу «конструирования» окружающей среды, активно направляющей жизненные процессы, стремились..

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

раздел теории функций, в котором изучаются как приближённые представления функций, так и сами функции, исходя из свойств их приближённых представлений. К. Т. Ф. Оформилась в самостоятельную дисциплину в трудах С. Н. Бернштейна (термин «К. Т. Ф.» принадлежит ему же), который исходил из идей П. Л. Чебышева, относящихся к наилучшим приближениям функций, интерполированию по способу наименьших квадратов и проблеме моментов. Лит. Бернштейн С. Н., Собр. Соч., т. 1 — Конструктивная теория функций [1905..

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

КОНСТРУКТИВНАЯ ЛОГИКА. ..

- одно из направлений современ­ной логики, изучающее рассуждения о конструктивных объек­тах и процессах. Конструктивные объекты представляют собой или отдельные, ясно отличаемые друг от друга знаки, или последова­тельности таких знаков, получаемые посредством некоторого кон­структивного процесса, протекающего по четким дискретным пра­вилам. Примером конструктивного объекта могут служить легко отождествляемые и различаемые буквы к.-л. Алфавита. Конструк­тивный процесс — построение из них слов по ..