Structural induction — Wikipedia

Структурная индукция Структурная индукция — метод доказательства теорем, основанный на индукции по структурам.  Структурная индукция эквивалентна принципу упорядоченности.  Метод позволяет […]

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

  • Структурная индукция — метод доказательства теорем, основанный на индукции по структурам. 
  • Структурная индукция эквивалентна принципу упорядоченности. 
  • Метод позволяет делать выводы о существовании минимального контрпримера к теореме. 
  • Структурная индукция используется в математике и информатике для доказательства теорем. 

Полный текст статьи:

Structural induction — Wikipedia

Оставьте комментарий

Прокрутить вверх