Структурная индукция

Структурная индукция

Структурная индукция — метод доказательства, который используется в математической логике (например, в доказательстве теоремы Лося об ультрапроизведениях, информатике, теории графов, и некоторых других областях математики. Это — обобщение математической индукции. Структурная рекурсия — метод рекурсии, имеющий те же самые отношения к структурной индукции как обычные рекурсии к обычной математической индукции.


Формула
Wiki letter w.svg
 Для улучшения этой статьи желательно?:
  • Дополнить статью (статья слишком короткая либо содержит лишь словарное определение).
  • Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное.

Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "Структурная индукция" в других словарях:

  • Математическая индукция — Математическая индукция  один из методов математического доказательства, используется чтобы доказать истинность некоторого утверждения для всех натуральных чисел. Для этого сначала пров …   Википедия

  • Метод математической индукции — Математическая индукция в математике один из методов доказательства. Используется, чтобы доказать истинность некоего утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 база индукции, а затем… …   Википедия

  • Принцип математической индукции — Математическая индукция в математике один из методов доказательства. Используется, чтобы доказать истинность некоего утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 база индукции, а затем… …   Википедия

  • Список статей по математической логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия

  • Магнитный диполь — Классическая электродинамика Магнитное поле соленоида Электричество · Магнетизм Электростатика Закон Кулона …   Википедия

  • Электрический диполь — Классическая электродинамика Магнитное поле соленоида Электричество · Магнетизм Электростатика Закон Кулона …   Википедия

  • высшая нервная деятельность — Категория. Нейрофизиологические процессы, проходящие в коре больших полушарий головного мозга и ближайшей к ней подкорке и обусловливающие осуществление психических функций. Специфика. В качестве единицы анализа высшей нервной деятельности… …   Большая психологическая энциклопедия

  • Поляризация диэлектриков — У этого термина существуют и другие значения, см. Поляризация. Поляризация диэлектриков  явление, связанное с ограниченным смещением связанных зарядов в диэлектрике или поворотом электрических диполей, обычно под воздействием внешнего… …   Википедия

  • Трансформирующий ростовой фактор бета (TGF-beta) — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете …   Википедия

  • ПОЛЯРИЗОВАННЫЕ НЕЙТРОНЫ — совокупность нейтронов, спины s к рых имеют преимуществ. ориентацию по отношению к к. л. выделенному направлению в пространстве, обычно направлению магн. поля Н. Т. к. нейтрон обладает спином 1/2, то в поле Н возможны две ориентации спина:… …   Физическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»