Синоним слова ВЫВОДИМОСТЬ в словаре Синонимов русского языка

Что такое ВЫВОДИМОСТЬ

сводимость

Синонимы русского языка. 2012

ТЕОРИЯ в Большой советской энциклопедии, БСЭ:
(греч. theoria, от theoreo - рассматриваю, исследую), в широком смысле - комплекс взглядов, представлений, идей, направленных на истолкование и объяснение …
НЕЗАВИСИМОСТЬ (В ЛОГИКЕ) в Большой советской энциклопедии, БСЭ:
в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его …
НАТУРАЛЬНОЕ ИСЧИСЛЕНИЕ в Большой советской энциклопедии, БСЭ:
исчисление, исчисление естественного вывода, натуральная дедукция, общее название логических исчислений, введённых и изученных в 1934 немецким логиком Г. Генценом (и …
ЗЕРКАЛЬНЫЕ УТКИ в Большой советской энциклопедии, БСЭ:
утки, породная группа уток мясо-яичного направления. Выведена на Кучинском племзаводе Московской области путём воспроизводительного скрещивания пекинских уток, хаки-кемпбелл и местных. …
БРОНЗОВЫЕ ШИРОКОГРУДЫЕ ИНДЕЙКИ в Большой советской энциклопедии, БСЭ:
широкогрудые индейки, выведены в США отбором и подбором бронзовых индеек по живой массе и широкогрудости. В СССР завезены в 1946. …
ФРЕГЕ, ГОТЛОБ в Словаре Кольера:
(Frege, Gottlob) (1848-1925), немецкий математик и философ. Родился 8 ноября 1848 в Висмаре. Получил математическое и естественнонаучное образование в Йенском …

Синонимы русского языка

← ВЫВОДИВШИЙСЯ ВЫВОДИМЫЙ→