- конструктивное определение
- мат. constructive definition
Большой англо-русский и русско-английский словарь. 2001.
конструктивное определение
Смотреть что такое "конструктивное определение" в других словарях:
КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ — в математике и логике, подход в основаниях этих наук, при котором их сфера ограничивается конструктивными объектами и такими рассуждениями об этих объектах, в которых не присутствует идея актуальной бесконечности. Конструктивными наз.… … Философская энциклопедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
ИНТЕГРАЛ — одно из центральных понятий математич. анализа и всей математики, возникновение к рого связано с двумя задачами: о восстановлении функции по ее производной (напр., с задачей об отыскании закона движения материальной точки вдоль прямой по… … Математическая энциклопедия
СТИНРОДА КВАДРАТ — стационарная (стабильная) когомологическая операция Sqi, типа повышающая размерность на i. Это означает, что для каждого натурального пи каждой пары топологич. пространств (X, Y) задан такой гомоморфизм что где кограничный гомоморфизм… … Математическая энциклопедия
переносной — 3.1.3 переносной [передвижной] газоанализатор (transportable equipment): Газоанализатор, не предназначенный ни для ношения оператором, ни для стационарной установки и после установки на месте эксплуатации требующий регулировки перед… … Словарь-справочник терминов нормативно-технической документации
Банкротство — (Bankruptcy) Банкротство это признанная судом неспособность исполнить обязательства по уплате взятых в долг денежных средств Суть банкротства, его признаки и характеристика, законодательство о банкротстве, управление и пути предотвращения… … Энциклопедия инвестора
средство — 3.1 средство (facility): Предназначенный для выполнения определенной функции или оказания услуги технологический комплекс в том числе предприятие, обеспечивающее его функционирование, здание, сооружение, устройство или оборудование, а также… … Словарь-справочник терминов нормативно-технической документации
МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… … Философская энциклопедия
воспроизводимость — 3.4 воспроизводимость (reproducibility): Близость результатов двух испытаний, полученных одним методом, в идентичных условиях, в разных лабораториях. Источник … Словарь-справочник терминов нормативно-технической документации
тип — 2.2 тип: Лампы, имеющие одинаковые световые и электрические параметры, независимо от типа цоколя. Источник: ГОСТ Р МЭК 60968 99: Лампы со встроенными пускорегулирующими аппаратами для общего освещения. Требования безопасности … Словарь-справочник терминов нормативно-технической документации
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
