Математическа индукция: Разлика между версии

Изтрито е съдържание Добавено е съдържание
Редакция без резюме
Редакция без резюме
Етикети: Редакция чрез мобилно устройство Редакция чрез мобилно приложение
Ред 1:
'''Математическата индукция''' е шибан метод за [[математическо доказателство]], използван за доказване на свойства на [[естествено число|естествените числа]] и на други [[множество|множества]], [[равномощно множество|равномощни]] с множеството на естествените числа. Типична е употребата ѝ за доказване, че дадено твърдение е вярно за всички естествени числа. Това се прави, като се доказва, че първото твърдение от крайна редица от твърдения е вярно, и след това се доказва, че ако произволно твърдение от тази редица е вярно, то е вярно и следващото.
 
Този метод може да се обобщи за доказване на твърдения относно по-общи добре обосновани структури като дърветата - това обобщение е известно като ''структурна индукция'' и се използва в [[математическа логика|математическата логика]] и [[информатика]]та.