Читать «Большая Советская Энциклопедия (ДЕ)» онлайн - страница 63

  Соч.: Gesammelte mathematische Werke, Bd 1—3, Braunschweig, 1930—32; в рус. пер. — Непрерывность и иррациональные числа, 4 изд., Одесса, 1923.

Дедекинда аксиома

Дедеки'нда аксио'ма, одна из аксиом непрерывности (см. ). Д. а. гласит: если все точки прямой разбиты на два непустых класса, причём все точки первого класса расположены левее всех точек второго, то существует либо самая правая точка первого класса, либо самая левая точка второго. Сформулирована немецким математиком Р. (1872).

Дедекиндово сечение

Дедеки'ндово сече'ние, одно из арифметических определений без привлечения геометрического толкования. Предложено в 1872 немецким математиком Р. . Д. с. расширяет множество рациональных чисел до множества всех действительных чисел путём введения новых, иррациональных чисел, одновременно упорядочивая их.

Дедерон

Дедеро'н, торговое название , выпускаемого в ГДР.

Дедина Вацлав

Де'дина (Dedina) Вацлав (6.12.1870, Винаржице, — 30.11.1956, Прага), чехословацкий физико-географ, геоморфолог, член-корреспондент АН Чехословакии (1952). Профессор Карлова университета в Праге. Главный редактор многотомного издания по страноведению Чехословакии (1929—31). Основные работы по общей физической географии, геоморфологии и проблемам географического районирования Чехословакии.

  Соч.: Fysikа'lní zeměpis Čech a zа'padní Moravy, Praha, 1921; Tvа'ř nasi vlasti a jeji vývoj, Praha, 1925.

Дедовичи

Де'довичи, посёлок городского типа, центр Дедовичского района Псковской области РСФСР, на правом берегу р. Шелонь (бассейн озера Ильмень). Ж.-д. станция на линии Ленинград — Витебск. Льнообрабатывающий и молочный заводы.

Дедовск

Де'довск, город (до 1940 — посёлок) в Московской области РСФСР. Расположен на Волоколамском шоссе. Ж.-д. станция на линии Москва — Ржев, в 38 км к З. от Москвы. 25 тыс. жителей (1970). Построенная в 1913 прядильно-ткацкая фабрика переоборудована в 40-х гг. в кордную. Завод керамических изделий, обувная фабрика.

Дедуктивная логика

Дедукти'вная ло'гика, см. .

Дедукция

Деду'кция (от лат. deductio — выведение), переход от общего к частному; в более специальном смысле термин «Д.» обозначает процесс логического вывода, т. е. перехода по тем или иным правилам от некоторых данных предложений — посылок к их следствиям (заключениям), причём в некотором смысле следствия всегда можно характеризовать как «частные случаи» («примеры») общих посылок. Термин «Д.» употребляется и для обозначения конкретных выводов следствий из посылок (т. е. как синоним термина «вывод» в одном из его значений), и — чаще — как родовое наименование общей теории построений правильных выводов (). В соответствии с этим последним словоупотреблением, науки, предложения которых получаются (хотя бы преимущественно) как следствия некоторых общих «базисных законов» (принципов, постулатов, аксиом и т.п.), принято называть дедуктивными (математика, теоретическая механика, некоторые разделы физики и др.), а , посредством которого производятся выводы этих частных предложений, часто называют аксиоматико-дедуктивным.