схема индукции

  • 1ИНДУКЦИИ АКСИОМА — утверждение о справедливости для всех хнек рого предиката Р(х), определенного на множестве всех неотрицательных целых чисел, если выполняются следующие условия: 1) справедливо Р(0),2) для любого х, если верно Р(х), то верно и P(x+1). И. а.… …

    Математическая энциклопедия

  • 2СХЕМА АКСИОМ — (аксиомная схема) – разновидность постулатов, с помощью к рых в логике задаются исчисления (формальные системы). С а. представляет собой выражение, составленное из т.н. метаматем. букв. т.е. символов, не входящих в алфавит рассматриваемой системы …

    Философская энциклопедия

  • 3АКСИОМ СХЕМА — единый способ задания аксиом, обладающих одной и той же синтаксич. структурой. Конкретная А. с. обычно реализуется при помощи фиксирующего ее синтаксич. структуру выражения (чаще всего не принадлежащего языку, в к ром записываются аксиомы) и… …

    Математическая энциклопедия

  • 4АРИФМЕТИКА ФОРМАЛЬНАЯ — арифметическое исчисление, логико математич. исчисление, формализующее элементарную теорию чисел. Язык наиболее употребительного варианта А. ф. содержит константу 0, числовые переменные, символ равенства, функциональные символы (прибавление 1) и… …

    Математическая энциклопедия

  • 5Формальная арифметика —         формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, (прибавление 1) и логические связки (см …

    Большая советская энциклопедия

  • 6Гальванометр — Схема работы гальванометра …

    Википедия

  • 7Гроб Мухаммеда (опыт) — Схема Эффекта Мейснера. Показаны линии магнитного поля и их вытеснение из сверхпроводника, находящегося ниже своей критической температуры. Эффект Мейснера  полное вытеснение магнитного поля из материала при переходе в сверхпроводящее состояние.… …

    Википедия

  • 8Капельница Кельвина — Схема Капельницы Кельвина Капельница Кельвина является генератором электростатического напряжения. Она названа в честь лорда Кельвина, который изобрел её в 1867 году. Это предельно простое устройство обеспечивает п …

    Википедия

  • 9Гроб Мухаммеда — Схема Эффекта Мейснера. Показаны линии магнитного поля и их вытеснение из сверхпроводника, находящегося ниже своей критической температуры. Эффект Мейснера  полное вытеснение магнитного поля из материала при переходе в сверхпроводящее состояние.… …

    Википедия

  • 10Мейснера эффект — Схема Эффекта Мейснера. Показаны линии магнитного поля и их вытеснение из сверхпроводника, находящегося ниже своей критической температуры. Эффект Мейснера  полное вытеснение магнитного поля из материала при переходе в сверхпроводящее состояние.… …

    Википедия