- индуктивный способ рассуждения, используемый в интуиционистской математике (см. Интуиционизм). и состоящий в следующем. Пусть на конечных кортежах натуральных чисел заданы нек-рые свойства такие, что: 1) свойство Rразрешимо, т. е. для всякого кортежа эффективно выясняется, выполнено Rна этом кортеже или нет; 2) для всякой свободно становящейся последовательности найдется кортеж вида , для к-рого выполнено R. При этом, если выполняется 2), то говорят, что R "запирает" пустой кортеж (отсюда и назв. "Б.-и.", "bar" - "запирать", "замок"); 3) для всякого кортежа л натуральных чисел, если - так наз. базис Б.-и.; 4) если - кортеж такой, что для всякого натурального kимеет место , то необходимо это свойство наз. шагом Б.-и. Если выполняются перечисленные условия 1) - 4), то принцип Б.-и. позволяет заключить, что имеет место Л. Э. Я. Брауэр (L. Е. J. Brouwer) предложил Б.-и. как интуиционистски приемлемый способ рассуждения, указывающий на незавершенность, нек-рую эффективную несчетность совокупности всех свободно становящихся последовательностей. В частности, было показано [С. К. Клпни (S. С. Kleene) и независимо А. А. Марковым], что из принципа Б.-и. (фактически даже из нек-рого следствия Б.-и. теоремы о веере).следует, что не все свободно становящиеся последовательности рекурсивны. С 60-х гг. 20 в. в основаниях математики нашли употребление формы Б.-и., рассматривающие не кортежи натуральных чисел, а кортежи более сложных объектов, напр, кортежи свободно становящихся последовательностей. На языке формального интуиционистского математич. анализа Б.-и. может быть записана в виде: Лит.:[1] К1ееnе S. С., Yes ley R. E., The foundations of intuitionistic mathematics, Amst., 1965. А. Г. Драгалин.
Бар — см. баррикада.
Толковый словарь Даля
Бар — бара, м. (англ. bar) (мор.). Наносная мель в устьях рек.
Толковый словарь Ушакова
Индукция — индукции, ж. (латин. inductio - наведение). 1. Метод мышления, при к-ром из частных суждений выводится общее (филос.). 2. Возбуждение электрической и магнитной энергии под влиянием........
Толковый словарь Ушакова
Гриль-бар М. — 1. Бар, в котором горячие блюда готовятся при помощи гриля.
Толковый словарь Ефремовой
Гриль-бар — -а; м. Закусочная, в которой пищу готовяют с помощью гриля.
Толковый словарь Кузнецова
Индукция — -и; ж. [лат. inductio]
1. Лог. Способ рассуждения от отдельных частных фактов и положений к общим выводам, обобщениям (противоп.: деду́кция). И. - основной метод обучения.
2.........
Толковый словарь Кузнецова
Бар Клара Иосифовна — (? - ?). Сионист-социалист. В марте 1932 - июле 1933 находилась в Чимкенте. Пыталась добиться разрешения на выезд из СССР. Дальнейшая судьба неизвестна.
НИПЦ "Мемориал", М.К.
Политический словарь
Бар — в дилерских
сделках так именуется
сумма в 1 млн. фунтов стерлингов.
Экономический словарь
Бар-код — см.
ШТРИХ-КОД.
Экономический словарь
Индукция — (от лат. inductio - наведение) - переход от частного к общему.
Экономический словарь
Бар — (англ. сленг bar) - применительно к валютным дилерским сделкам: сумма в 1 млн. фунтов стерлингов; полбара (англ. half-bar) - соответственно 0,5 млн.
Юридический словарь
Индукция Профага — явление перехода профага в активное состояние, ведущее к образованию и выделению инфекционного фага. Вызывается мутагенами, повышением температуры и др. факторами.
Словарь микробиологии
Бар — • (возвратное приливное течение), приливный поток, устремляющийся с моря в узкое устье реки или узкий залив. При столкновении с встречным течением реки образует поверхностный........
Научно-технический энциклопедический словарь
Индукция — , в физике, процесс электризации или намагничивания. В случае ЭЛЕКТРОМАГНИТНОЙ ИНДУКЦИИ электрический ток вызывается при помещении ПРОВОДНИКА в переменное МАГНИТНОЕ........
Научно-технический энциклопедический словарь
Коса-бар — , гряда из осадочных пород, отложившихся поперек устья залива, обычно ее концы соприкасаются с берегом. Отложения наносятся либо под воздействием длительного сноса........
Научно-технический энциклопедический словарь
Математическая Индукция — , метод, доказывающий, что математическое утверждение верно для любого положительного целого числа п, если выполняются два условия: 1) оно верно для основной величины,........
Научно-технический энциклопедический словарь
Бар — (англ. bar) -..1) небольшой ресторан или часть ресторана, гдепосетителей обслуживают у стойки...2) Небольшой шкаф для вин или отделениедля вин в шкафу, серванте и т. п.
Большой энциклопедический словарь
Бар-кохба — вождь антиримского восстания 132-135 в Иудее.
Большой энциклопедический словарь
Индукция — (лат. inductio введение, наведение) в физиологии функциональное взаимодействие нервных центров, характеризующееся изменением их возбудимости.
Большой медицинский словарь
Индукция Взаимная — И. в виде последовательной смены процессов возбуждения и торможения в смежных нервных центрах.
Большой медицинский словарь
Индукция Одновременная — И. в виде возникновения разнонаправленных изменений возбудимости в смежных нервных центрах.
Большой медицинский словарь
Индукция Отрицательная — И. в виде понижения возбудимости нервных центров, смежных с очагом возбуждения.
Большой медицинский словарь
Индукция Положительная — И. в виде повышения возбудимости нервных центров, смежных с очагом торможения.
Большой медицинский словарь
Индукция Последовательная — И. в виде последовательной смены возбуждения торможением и наоборот в одном и том же нервном центре.
Большой медицинский словарь
Индукция Психическая — внушение одним лицом другому своих взглядов, убеждений, стремлений (нормальных или патологических).
Большой медицинский словарь
Бесконечная Индукция — вывод общего высказывания (суждения) из бесконечнойсовокупности посылок, исчерпывающих все его частные случаи. Играет важнуюроль в основаниях математики (см. Индукция).
Большой энциклопедический словарь
Луи-бар Синдром — (D. Louis-Bar, совр. франц. врач; син. атаксия-телеангиэктазия) наследственная болезнь из группы факоматозов, характеризующаяся медленно развивающимися мозжечковыми расстройствами,........
Большой медицинский словарь
Индукция — в биологии -1) взаимодействие процессов возбуждения иторможения; торможение в группе нейронов вызывает (индуцирует) возбуждение(положительная индукция), которое индуцирует........
Большой энциклопедический словарь
Индукция Взаимная — частный случай электромагнитной индукции, при которомпеременный ток в одном контуре индуцирует (наводит) ток в другом контуре,неподвижном относительно первого.
Большой энциклопедический словарь
Индукция Электромагнитная — см. Электромагнитная индукция.
Большой энциклопедический словарь
Slovariki 2.0. Знание - сила