выводимость
21ИСЧИСЛЕНИЕ ЗАДАЧ — интуиционистское исчисление высказываний, понимаемое в свете интерпретации, к рую предложил в 1932 сов. ученый А. Н. Колмогоров. Эта интерпретация была свободна от гносеологич. установок интуиционизма и вскрывала содержательный материалистич.… …
22ТЕОРЕМА О ДЕДУКЦИИ — теорема дедукции, – одно из важнейших содержательных утверждений математической логики, определяющее связь между логически правильными (аподиктическими) рассуждениями (или умозаключениями, или выводами) и законами (доказуемыми формулами) логики,… …
23ГЁДЕЛЯ ТЕОРЕМА О НЕПОЛНОТЕ — общее название двух теорем, установленных К. Гёделем [1]. Первая Г. т. о н. утверждает, что в любой непротиворечивой формальной системе, содержащей минимум арифметики ( знаки и обычные правила обращения с ними), найдется формально неразрешимое… …
24ГЕЙТИНГА ФОРМАЛЬНАЯ СИСТЕМА — Гейтипга исчисление, название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них гейтинговское, или интуиционистское, исчисление высказываний формализация принципов конструктивной логики высказываний;… …
25ИНТУИЦИОНИЗМ — совокупность философских и математич. идей и методов, рассматривающих математику как науку об умственных построениях. С точки зрения И., основным критерием истинности математич. суждения является интуитивная убедительность возможности построения… …
26ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич …
27сводимость — приводимость; выводимость. Ant. несводимость Словарь русских синонимов. сводимость сущ., кол во синонимов: 1 • выводимость (1) Словарь синонимов ASIS …
28полнота логических исчислений — ПОЛНОТА ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ выводимость в исчислении (логической системе) всех утверждений (предложений, формуЛит.п.), обладающих некоторым подразумеваемым для этого исчисления свойством. Напр., П. классического исчисления высказываний… …
29РУССКАЯ БЕЛАЯ — см. также 13. КУРЫ Порода выведена в течение 1929 1953 гг. на основе скрещивания петухов белых леггорнов с курами местных популяций и разведения “в себе” помесей различных степеней .кровности. При этом в скрещиваниях участвовали леггорны… …
Генетические ресурсы сельскохозяйственных животных в России и сопредельных странах
30ПАНЦИРЕВСКАЯ — см. также 13. КУРЫ , Порода выведена в Поволжье в племсовхозе “Панциревский” воспроизводительным скрещиванием белых леггорнов, род айландов, нью гемпширов, черных австралорпов и белых плимутроков в 1947 1961 гг. Целью работы было создание… …
Генетические ресурсы сельскохозяйственных животных в России и сопредельных странах