#Конструктивная математикаКонструктивная математикаИсследуйте Области знанийУ нас представлены тысячи статейТегКонструктивная математикаКонструктивная математикаНайденo 3 статьиТерминыТермины Конструктивный объектКонструкти́вный объе́кт, название, установившееся за математическими объектами, возникающими в результате развёртывания так называемых конструктивных процессов. Примером точно определённого типа конструктивного объекта могут служить слова в каком-либо фиксированном алфавите (буквы этого алфавита играют роль исходных объектов; новые слова получаются из уже имеющихся путём приписывания к последним справа букв рассматриваемого алфавита). Другими примерами типов конструктивных объектов могут служить конечные графы, конечные абстрактные топологические комплексы, релейно-контактные схемы (выбор соответствующих исходных объектов и правил образования не представляет труда). Как конструктивные объекты могут быть также определены рациональные числа, алгебраические многочлены, алгоритмы и исчисления различных точно определённых типов, конечные автоматы, конечно определённые группы и другие им подобные математические объекты.Научные теории, концепции, гипотезы, модели Лямбда-исчислениеЛя́мбда-исчисле́ние, формальная система, используемая для определения и анализа понятия вычислимости, интенсионального (алгоритмического) определения функций, а также в качестве основы языка высказываний в формальной логике. Основная задача лямбда-исчисления – определение формальной системы правил построения вычислимых функций и оперирования ими. Функции в лямбда-исчислении задаются интенсионально, т. е. непосредственно, без отсылки к другим математическим объектам, таким как множества или отображения. Лямбда-исчисление является одним из способов формализации понятия алгоритма и может использоваться для формального исполнимого представления алгоритмов, т. е. для программирования. Многие языки программирования поддерживают основные возможности, предоставляемые формализмом лямбда-исчисления.Термины Оболочка (в технике)Оболо́чка в технике, пространственная конструкция, образованная двумя криволинейными поверхностями, расстояние между которыми (толщина) мало́ по сравнению с двумя другими размерами. Поверхность, делящая пополам толщину оболочки, называется срединной поверхностью. Различают замкнутые и незамкнутые оболочки; последние должны иметь окаймляющий опорный контур, который может опираться как на стены, так и на отдельные колонны. Геометрия поверхности оболочки характеризуется гауссовой кривизной, представляющей собой произведение двух взаимно нормальных кривизн k1 и k2 срединной поверхности оболочки.
