Důkaz indukcí je obecná metoda dokazování matematických vět.

PropertyValue
prop-cs:druhý
  • nejpoužívanější metodě tohoto druhu
prop-cs:stránka
  • Důkaz matematickou indukcí
prop-cs:tento
  • obecném matematickém principu společném různým důkazovým metodám
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Důkaz indukcí je obecná metoda dokazování matematických vět. Spočívá v prokázání nějakého tvrzení typu „pro všechny objekty jisté třídy platí…“ způsobem, při němž se objekty dané třídy rozdělí do několika (většinou nekonečně mnoha) podtříd, které se uspořádají do posloupnosti a ukáže se o nich: (první krok) Pro všechny objekty z první podtřídy platí … (indukční krok) Jestliže platí … pro všechny objekty z předcházejících podtříd, pak platí … i pro všechny objekty z podtřídy bezprostředně za nimi následující.Důkaz indukcí se typicky používá k důkazům takových univerzálních tvrzení (tj. tvrzení tvaru „Pro každé x platí…“), pro které existuje nějaký snadno dokazatelný speciální případ (tj. takové x, že o x platí…) a zároveň každý další složitější případ je v konečně mnoha krocích převeditelný na platnost pro speciální případ s tím, že počet kroků v tomto převedení se s rostoucí složitostí případu zvyšuje.
dbpedia-owl:wikiPageID
  • 193238 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 4123 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 25 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 11198255 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Důkaz indukcí
dcterms:subject
rdfs:comment
  • Důkaz indukcí je obecná metoda dokazování matematických vět.
rdfs:label
  • Důkaz indukcí
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of