| http://dbpedia.org/ontology/abstract
|
Matematická indukce je metoda dokazování m … Matematická indukce je metoda dokazování matematických vět a tvrzení, která se používá, pokud chceme ukázat, že dané tvrzení platí pro všechna přirozená čísla, případně jinou, předem danou nekonečnou posloupnost. Typicky se užívá k důkazům těch tvrzení o přirozených číslech, u nichž je snadné ověřit, že platí pro číslo 1, a zároveň lze platnost pro každé dané n převést v konečně mnoha krocích na platnost pro 1 s tím, že počet těchto kroků s rostoucím n také roste.čet těchto kroků s rostoucím n také roste.
, En matemáticas, la inducción es un razonam … En matemáticas, la inducción es un razonamiento que permite demostrar proposiciones que dependen de una variable que toma una infinidad de valores enteros. En términos simples, la inducción matemática consiste en el siguiente razonamiento: Dado un número entero que tiene la propiedad , y el hecho de que si hasta cualquier número entero con la propiedad implique que también la tiene, entonces, los números enteros a partir de tienen la propiedad . La demostración está basada en el axioma denominado principio de la inducción matemática. La inducción matemática demuestra que podemos subir tan alto como queramos en una escalera, si demostramos que podemos subir el primer peldaño (el "caso base") y que desde cada peldaño podemos subir al siguiente (el "paso" inductivo). , pág. 3, margen (en inglés). inductivo). , pág. 3, margen (en inglés).
, Il principio d'induzione (da non confonder … Il principio d'induzione (da non confondersi con il metodo di induzione) è un enunciato sui numeri naturali che in matematica trova un ampio impiego nelle dimostrazioni, per provare che una certa proprietà è valida per tutti i numeri interi. L'idea intuitiva alla sua base è l'effetto domino: affinché le tessere da domino disposte lungo una fila cadano tutte sono sufficienti due condizioni:
* che cada la prima tessera;
* che ogni tessera sia posizionata in modo tale che cadendo provochi la caduta della successiva. Il principio d'induzione estende quest'idea al caso in cui la fila sia composta da infinite tessere. la fila sia composta da infinite tessere.
, Математи́чна інду́кція — це застосування п … Математи́чна інду́кція — це застосування принципу індукції для доведення теорем у математиці. Зазвичай полягає в доведенні правильності твердження стосовно одного з натуральних чисел, а потім всіх наступних. Принцип індукції полягає в тому, що нескінченна послідовність тверджень , , правильна якщо: 1.
* — правильне, та 2.
* із правильності випливає правильність (істинність) для всіх k. Індуктивне доведення наочно може бути представлене у вигляді т.зв. принципу доміно. Нехай довільне число кісточок доміно виставлено в ряд таким чином, що кожна кісточка, падаючи, обов'язково перекине наступну за нею кісточку (це індукційний перехід). Тоді, якщо ми штовхнемо першу кісточку (це база індукції), то всі кісточки в ряду впадуть. На практиці використовується, щоб довести істинність певного твердження для всіх натуральних чисел. Для цього спочатку перевіряється істинність твердження за номером 1 - база (базис) індукції, а потім доводиться, що, якщо правдиве твердження з номером n, то правдиве й наступне твердження за номером n + 1 - крок індукції, або індукційний перехід. - крок індукції, або індукційний перехід.
, Matematikan, indukzio matematikoaren print … Matematikan, indukzio matematikoaren printzipioa, -ren menpean dauden proposizioak egia diren ala ez frogatzea ahalbidetzen duen arrazonamendua da. Kontuan harturik, zenbaki arrunt infinituko multzoaren barruan dagoela. Arrazonamendua hurrengoa izango litzateke: propietatea betetzen duen zenbaki arrunt bat hartuz, frogatu behar da edozein zenbaki , propietatea izanik, inplikatzen duela zenbakiak ere propietatea beteko duela. Beraz baino handiagoak diren zenbaki guztiak propietatea beteko dute.n zenbaki guztiak propietatea beteko dute.
, Die vollständige Induktion ist eine mathem … Die vollständige Induktion ist eine mathematische Beweismethode, nach der eine Aussage für alle natürlichen Zahlen bewiesen wird, die größer oder gleich einem bestimmten Startwert sind. Da es sich um unendlich viele Zahlen handelt, kann eine Herleitung nicht für jede Zahl einzeln erbracht werden. Sie ist ein deduktives Verfahren. Der Beweis, dass die Aussage für alle ( meist 1 oder 0) gilt,wird daher in zwei Etappen durchgeführt: 1.
* Im Induktionsanfang wird die Aussage für eine kleinste Zahl hergeleitet. 2.
* Im Induktionsschritt wird für ein beliebiges die Aussage aus der Aussage hergeleitet. Oder weniger „mathematisch“ formuliert: 1.
* Induktionsanfang: Es wird bewiesen, dass die Aussage für die kleinste Zahl, den Startwert, gilt. 2.
* Induktionsschritt: Folgendes wird bewiesen: Gilt die Aussage für eine beliebige Zahl, so gilt sie auch für die Zahl eins größer. Ausgehend vom Beweis für den Startwert erledigt der Induktionsschritt den Beweis für alle natürlichen Zahlen oberhalb des Startwertes. Dieses Beweisverfahren ist von grundlegender Bedeutung für die Arithmetik und Mengenlehre und damit für alle Gebiete der Mathematik.und damit für alle Gebiete der Mathematik.
, La demostració per inducció en matemàtica … La demostració per inducció en matemàtica és un tipus de demostració que s'aplica quan un cas base és provat i una regla d'inducció és usada per provar una sèrie d'altres casos que normalment és infinita. L'any 1575 Francesco Maurolico va fer la primera demostració per inducció al seu treball Arithmeticorum libri duo. En una forma general mostra que les formes que poden ser avaluades són equivalents en el que es coneix com a inducció estructural. La Demostració per inducció és una regla d'inferència usada en proves formals, que son exemples de raonament deductiu.s, que son exemples de raonament deductiu.
, Matematisk induktion är en bevismetod som … Matematisk induktion är en bevismetod som tillämpas på påståenden som omfattar mängden av naturliga tal som är större än eller lika med ett startvärde (till exempel 0 eller 1). Då mängden naturliga tal är obegränsad kan bevis inte utföras för varje enskilt fall. I det generella induktionsbeviset delas beviset för påståendet upp i tre steg:
* Induktionsbasen: först visas att påståendet är sant för ett startvärde, till exempel för heltalet n = 1
* Induktionsantagandet: utsagan antas vara sann för något heltal n
* Induktionssteget: visa att om induktionsantagandet är sant, så är påståendet också sant för n + 1 När dessa steg är utförda är det bevisat att påståendet gäller för alla n från och med det antagna startvärdet. Tekniken kan även tillämpas på de matematiska objekt som är vidareutvecklingar av de positiva heltalen, ordinaltalen. Denna bevismetod är av grundläggande betydelse för aritmetik och mängdlära och därmed för alla områden av matematiken. Tekniken kan illustreras med dominobrickor: varje dominobricka är ställd på högkant och representerar ett tal i den ordnade följden av positiva heltal. Om en bricka välter, välter den också den nästföljande brickan. Induktionsprincipen innebär att samtliga dominobrickor kommer att bli välta om den första brickan har blivit vält.lta om den första brickan har blivit vält.
, Indukcja matematyczna – metoda dowodzenia … Indukcja matematyczna – metoda dowodzenia twierdzeń o prawdziwości nieskończonej liczby stwierdzeń oraz definiowania rekurencyjnego (zob. ). W najbardziej typowych przypadkach dotyczą one liczb naturalnych. Dowody wykorzystujące metodę indukcji nazywa się dowodami indukcyjnymi, choć wbrew sugestywnej nazwie argumenty oparte na indukcji matematycznej nie są rozumowaniami indukcyjnymi, lecz dedukcyjnymi (podobnie jak cała matematyka). Najstarszy znany dowód indukcyjny, dotyczący sumy początkowych liczb nieparzystych, podał (1494–1575) w pracy Arithmeticorum libri duo („Dwie księgi o arytmetyce”) z 1575 roku. („Dwie księgi o arytmetyce”) z 1575 roku.
, 수학적 귀납법(數學的歸納法, 영어: mathematical induction … 수학적 귀납법(數學的歸納法, 영어: mathematical induction)은 모든 자연수가 어떤 주어진 성질을 만족시킨다는 명제를 증명하는 방법의 하나이다. 가장 작은 자연수(문맥에 따라 0일 수도 1일 수도 있다)가 그 성질을 만족시킴을 증명한 뒤, 만약 어떤 자연수가 만족시키면 바로 다음 자연수 역시 만족시킴을 증명하기만 하면, 모든 자연수에 대한 증명이 끝난다. 이는 임의의 정초 관계를 갖춘 집합 위의 초한 귀납법으로 확장할 수 있다. 수학적 귀납법은 이름과는 달리 이 아닌 연역적 논증에 속한다. 수학적 귀납법은 자연수의 페아노 공리계의 공리이며, 메타논리학적 추론 규칙이기도 하다.법은 자연수의 페아노 공리계의 공리이며, 메타논리학적 추론 규칙이기도 하다.
, En mathématiques, le raisonnement par récu … En mathématiques, le raisonnement par récurrence (ou par induction, ou induction complète) est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels. Le raisonnement par récurrence consiste à démontrer les points suivants :
* la propriété est satisfaite par un entier n0 (généralement 0 ou 1) ;
* chaque fois que cette propriété est satisfaite par un certain nombre entier naturel n ≥ n0, elle est également satisfaite par son successeur, c'est-à-dire par le nombre entier n + 1. Une fois cela établi, on en conclut que cette propriété est vraie pour tous les nombres entiers naturels supérieurs ou égaux à n0.entiers naturels supérieurs ou égaux à n0.
, Математическая индукция — метод математиче … Математическая индукция — метод математического доказательства, который используется, чтобы доказать истинность некоторого утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером — база (базис) индукции, а затем доказывается, что если верно утверждение с номером , то верно и следующее утверждение с номером — шаг индукции, или индукционный переход. Доказательство по индукции наглядно может быть представлено в виде так называемого принципа домино. Пусть какое угодно число косточек домино выставлено в ряд таким образом, что каждая косточка, падая, обязательно опрокидывает следующую за ней косточку (в этом заключается индукционный переход). Тогда, если мы толкнём первую косточку (это база индукции), то все косточки в ряду упадут. индукции), то все косточки в ряду упадут.
, 数学归纳法（英語：Mathematical Induction MI）是一种数学证明方法，通常被用于证明某个给定命题在整个或者局部自然数范围内成立。除了自然数以外，广义上的数学归纳法也可以用于证明一般良基结构，例如：集合论中的树。这种广义的数学归纳法应用于数学逻辑和计算机科学领域，称作结构归纳法。 虽然数学归纳法名字中有“归纳”，但是数学归纳法并非逻辑上不严谨的归纳推理法，它属于完全严谨的演绎推理法。事實上，所有數學證明都属于演繹推理方法。
, Induksi matematika merupakan salah satu ke … Induksi matematika merupakan salah satu kegiatan penalaran deduktif yang berkaitan dengan pembuktian matematika. Dalam matematika, induksi matematika merupakan sebuah dasar aksioma bagi beberapa teorema yang melibatkan bilangan asli. Pembuktian suatu pernyataan matematis dengan induksi matematika dilakukan pada objek matematika yang bersifat diskrit, misalnya teori bilangan, teori graf, dan kombinatorika. Matematikawan menggunakan induksi matematika untuk menjelaskan pernyataan matematika yang telah diketahui kebenarannya. Prinsip induksi matematis dapat dijelaskan secara umum dalam dua tahap yaitu langkah awal atau asumsi induktif dan langkah induksi dasar. Penggunaan induksi matematika utamanya dilakukan pada tiga jenis masalah matematika yaitu seri umum, habis dibagi dan ketidaksetaraan. Kemampuan pembuktian induksi matematika secara benar ditentukan oleh tingkat pemahaman konsep. Setiap prosedur induksi matematika yang digunakan pada suatu konsep matematika dapat ditentukan melalui pemahaman relasional.t ditentukan melalui pemahaman relasional.
, 数学的帰納法（すうがくてききのうほう、英: mathematical induction）は、数学における証明の手法の一つである。
, Matematika indukto estas matematika pruvme … Matematika indukto estas matematika pruvmetodo, per kiu oni pruvas aserton por ĉiuj naturaj nombroj. Ĉar temas pri senfina kvanto da nombroj, tia pruvo ne povas esti realigata por ĉiu unuopa kazo. Tial oni realigas la pruvon per du ŝtupoj: La bazo de la indukto por la plej malgranda nombro (plej ofte 0 aŭ 1) kaj la paŝo de la indukto, kiu logike deduktas de aserto pri iu varianta nombro la koncernan aserton por la sekva nombro. Ĉi tiu pruvmetodo havas fundamentan rolon en la aritmetiko kaj aroteorio, kaj tial gravas por ĉiuj branĉoj de matematiko. Matematika indukto ne estas speco de indukta logiko, kiu ne estas sufiĉe rigora por matematiko. Matematika indukto uzas nur deduktan logikon.ematika indukto uzas nur deduktan logikon.
, Mathematical induction is a method for pro … Mathematical induction is a method for proving that a statement P(n) is true for every natural number n, that is, that the infinitely many cases P(0), P(1), P(2), P(3), ... all hold. Informal metaphors help to explain this technique, such as falling dominoes or climbing a ladder: Mathematical induction proves that we can climb as high as we like on a ladder, by proving that we can climb onto the bottom rung (the basis) and that from each rung we can climb up to the next one (the step). — Concrete Mathematics, page 3 margins. A proof by induction consists of two cases. The first, the base case, proves the statement for n = 0 without assuming any knowledge of other cases. The second case, the induction step, proves that if the statement holds for any given case n = k, then it must also hold for the next case n = k + 1. These two steps establish that the statement holds for every natural number n. The base case does not necessarily begin with n = 0, but often with n = 1, and possibly with any fixed natural number n = N, establishing the truth of the statement for all natural numbers n ≥ N. The method can be extended to prove statements about more general well-founded structures, such as trees; this generalization, known as structural induction, is used in mathematical logic and computer science. Mathematical induction in this extended sense is closely related to recursion. Mathematical induction is an inference rule used in formal proofs, and is the foundation of most correctness proofs for computer programs. Although its name may suggest otherwise, mathematical induction should not be confused with inductive reasoning as used in philosophy (see Problem of induction). The mathematical method examines infinitely many cases to prove a general statement, but does so by a finite chain of deductive reasoning involving the variable n, which can take infinitely many values. n, which can take infinitely many values.
, In de wiskunde is volledige inductie een m … In de wiskunde is volledige inductie een methode om te bewijzen dat een uitspraak geldig is voor alle natuurlijke getallen. Het is de bekendste vorm van wiskundige inductie. Omdat er oneindig veel natuurlijke getallen zijn, kan een dergelijk bewijs niet voor elk getal afzonderlijk worden geleverd. Volledige inductie houdt in de meest gebruikelijke vorm in dat het bewijs wordt geleverd voor het getal 0 en dat wordt bewezen dat als de uitspraak geldig is voor enig natuurlijk getal, de uitspraak ook geldig is voor de opvolger van dit getal. Zonder dat voor ieder natuurlijk getal de uitspraak afzonderlijk is bewezen, kan men nu concluderen dat ze voor elk natuurlijk getal geldig is. Uit de geldigheid voor 0 volgt immers de geldigheid voor 1 en uit de geldigheid voor 1 volgt die voor 2, enzovoort. Zo volgt de geldigheid voor ieder getal . Men vergelijkt de methode soms met het domino-effect. Elke steen die omvalt laat z'n opvolger omvallen. Valt de eerste steen om, dan zullen dus alle stenen omvallen.n om, dan zullen dus alle stenen omvallen.
, Η μαθηματική επαγωγή, ή διαφορετικά τέλεια … Η μαθηματική επαγωγή, ή διαφορετικά τέλεια επαγωγή, είναι μια μέθοδος μαθηματικής απόδειξης που συνήθως χρησιμοποιείται για να αποδειχτεί ότι μια πρόταση ισχύει για όλους τους φυσικούς αριθμούς. Η μαθηματική επαγωγή είναι λογικά ισοδύναμη με την αρχή της καλής διάταξης. Η μέθοδος της μαθηματικής επαγωγής δεν πρέπει να αντιμετωπίζεται σαν κάποιο είδος επαγωγικού λογισμού, ο οποίος δεν οδηγεί πάντα σε έγκυρα αποτελέσματα, όπως για παράδειγμα στη φυσική όπου χρησιμοποιείται επαγωγικός λογισμός για να εξαχθεί ένας γενικός κανόνας από μερικές περιπτώσεις. Για την ακρίβεια η μέθοδος της μαθηματικής επαγωγής είναι μια μορφή παραγωγικού λογισμού και οδηγεί σε πλήρως κατοχυρωμένα αποτελέσματα. Όλες οι προτάσεις που αποδεικνύονται με μαθηματική επαγωγή εξαρτώνται από ένα φυσικό αριθμό, ας πούμε τον αριθμό ν. Όπως για παράδειγμα η πρόταση:ν αριθμό ν. Όπως για παράδειγμα η πρόταση:
, Indução matemática é um método de prova ma … Indução matemática é um método de prova matemática usado para demonstrar a verdade de um número infinito de proposições. A forma mais simples e mais comum de indução matemática prova que um enunciado vale para todos os números naturais n e consiste de dois passos: 1.
* A base: mostrar que o enunciado vale para n = 0, ou n = 1, dependendo da definição utilizada de ; 2.
* O passo indutivo: mostrar que, se o enunciado vale para n = k, então o mesmo enunciado vale para n = k + 1. Esse método funciona provando que o enunciado é verdadeiro para um valor inicial, e então provando que o processo usado para ir de um valor para o próximo é valido. Se ambas as coisas são provadas, então qualquer valor pode ser obtido através da repetição desse processo. Para entender por que os dois passos são suficientes, é útil pensar no efeito dominó: se você tem uma longa fila de dominós em pé e você puder assegurar que: 1.
* O primeiro dominó cairá. 2.
* Sempre que um dominó cair, seu próximo vizinho também cairá. Assim, você pode concluir que todos os dominós cairão.pode concluir que todos os dominós cairão.
, الاستقراء الرياضي (بالإنجليزية: Mathematic … الاستقراء الرياضي (بالإنجليزية: Mathematical induction) هو أحد أنواع البرهان الرياضي تستخدم عادة لبرهنة أنّ معادلة أو متباينة ما صحيحة لمجموعة لانهائية من الأعداد، كالأعداد الصحيحة. يعتمد البرهان على مبدأ وقوع أحجار الدومينو، ويتم على مرحلتين: في الأولى، يبرهن أنّ أوّل رقم في المجموعة يحقّق المطلوب، وفي الثانية نفرض أنّ المطلوب يتحقّق لعدد ما من المجموعة، ونبرهن، جبريًا، مثلاً، أنّه يتحقّق أيضًا للعدد الذي يليه في المجموعة استنادًا على الفرض وعلى الأساس. يذكر، لمنع حصول التلابسات، أنّ الاستقراء الرياضي يختلف عن الاستنتاج الاستقرائي - فالأخير لا يعتبر برهانًا كافيًا ودقيقًا في عالم الرياضيات. الأصح هو القول أنّ الاستقراء الرياضي هو ضرب من الاستنتاج الاستدلالي (deductive reasoning).لاستنتاج الاستدلالي (deductive reasoning).
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Dominoeffect.png?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://archive.org/details/studiesinlogicof00nath%7Curl-access=registration%7Cpages=43%E2%80%9352%7Cpublisher=Indiana +
, https://www.academia.edu/8016024 +
, https://plato.stanford.edu/archives/sum2018/entries/sorites-paradox/%7Cwork= +
, http://www.maths.unsw.edu.au/~jim/proofs.html%7Cpublisher=Kew +
, https://archive.org/details/introductoryreal00kolm_0 +
, https://books.google.com/books%3Fid=LQgPAAAAIAAJ%7Cjournal= +
, https://books.google.com/books%3Fid=vSkClSvU_9AC&pg=PA62%7Ccontribution=Mathematical +
, http://web.stonehill.edu/compsci/Shai_papers/MathofLevi.pdf +
|
| http://dbpedia.org/ontology/wikiPageID
|
18881
|
| http://dbpedia.org/ontology/wikiPageLength
|
45469
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1117206878
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Vacuous_truth +
, http://dbpedia.org/resource/Powers_of_2 +
, http://dbpedia.org/resource/Golden_ratio +
, http://dbpedia.org/resource/Mathematical_proof +
, http://dbpedia.org/resource/Plato +
, http://dbpedia.org/resource/Giuseppe_Peano +
, http://dbpedia.org/resource/Gersonides +
, http://dbpedia.org/resource/Truth +
, http://dbpedia.org/resource/Prime_number +
, http://dbpedia.org/resource/Universal_quantifier +
, http://dbpedia.org/resource/Topology +
, http://dbpedia.org/resource/Formal_proof +
, http://dbpedia.org/resource/Recursion_%28computer_science%29 +
, http://dbpedia.org/resource/Squared_triangular_number +
, http://dbpedia.org/resource/Francesco_Maurolico +
, http://dbpedia.org/resource/All_horses_are_the_same_color +
, http://dbpedia.org/resource/American_Journal_of_Mathematics +
, http://dbpedia.org/resource/Computational_complexity +
, http://dbpedia.org/resource/Correctness_%28computer_science%29 +
, http://dbpedia.org/resource/Sorites_paradox +
, http://dbpedia.org/resource/Richard_Dedekind +
, http://dbpedia.org/resource/Polynomial +
, http://dbpedia.org/resource/Variable_%28mathematics%29 +
, http://dbpedia.org/resource/Bh%C4%81skara_II +
, http://dbpedia.org/resource/Trichotomy_%28mathematics%29 +
, http://dbpedia.org/resource/Addison-Wesley +
, http://dbpedia.org/resource/Empty_set +
, http://dbpedia.org/resource/Integer +
, http://dbpedia.org/resource/Algebra +
, http://dbpedia.org/resource/Blaise_Pascal +
, http://dbpedia.org/resource/Binomial_theorem +
, http://dbpedia.org/resource/Fundamental_theorem_of_arithmetic +
, http://dbpedia.org/resource/Inductive_reasoning +
, http://dbpedia.org/resource/Chakravala_method +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Axiom +
, http://dbpedia.org/resource/Well-order +
, http://dbpedia.org/resource/Parity_%28mathematics%29 +
, http://dbpedia.org/resource/If_and_only_if +
, http://dbpedia.org/resource/Augustin_Louis_Cauchy +
, http://dbpedia.org/resource/Category:Articles_containing_proofs +
, http://dbpedia.org/resource/Range_of_a_function +
, http://dbpedia.org/resource/Aryabhata +
, http://dbpedia.org/resource/Category:Mathematical_induction +
, http://dbpedia.org/resource/Implication_%28logic%29 +
, http://dbpedia.org/resource/Binary_logarithm +
, http://dbpedia.org/resource/ZFC_set_theory +
, http://dbpedia.org/resource/Addition_of_natural_numbers +
, http://dbpedia.org/resource/Archives_Internationales_d%27Histoire_des_Sciences +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/File:Dominoeffect.png +
, http://dbpedia.org/resource/Well-ordering_principle +
, http://dbpedia.org/resource/File:OmegaPlusOmega_svg.svg +
, http://dbpedia.org/resource/Recursion +
, http://dbpedia.org/resource/Well-founded +
, http://dbpedia.org/resource/Injective +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Isis_%28journal%29 +
, http://dbpedia.org/resource/Axiom_schema +
, http://dbpedia.org/resource/Jakob_Bernoulli +
, http://dbpedia.org/resource/Ordinal_number +
, http://dbpedia.org/resource/Peano_axioms +
, http://dbpedia.org/resource/Combinatorial_proof +
, http://dbpedia.org/resource/Polynomial-time +
, http://dbpedia.org/resource/Proof_by_contradiction +
, http://dbpedia.org/resource/Natural_number +
, http://dbpedia.org/resource/Arithmetic_progression +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Absolute_value +
, http://dbpedia.org/resource/Real_number +
, http://dbpedia.org/resource/Augustus_de_Morgan +
, http://dbpedia.org/resource/The_American_Mathematical_Monthly +
, http://dbpedia.org/resource/Bulletin_of_the_American_Mathematical_Society +
, http://dbpedia.org/resource/Structural_induction +
, http://dbpedia.org/resource/Bounded_quantifier +
, http://dbpedia.org/resource/Existential_quantifier +
, http://dbpedia.org/resource/Parmenides_%28dialogue%29 +
, http://dbpedia.org/resource/Inequality_of_arithmetic_and_geometric_means +
, http://dbpedia.org/resource/Second-order_logic +
, http://dbpedia.org/resource/Class_%28set_theory%29 +
, http://dbpedia.org/resource/Charles_Sanders_Peirce +
, http://dbpedia.org/resource/Infinite_descending_chain +
, http://dbpedia.org/resource/Induction_puzzles +
, http://dbpedia.org/resource/Proof_by_exhaustion +
, http://dbpedia.org/resource/Problem_of_induction +
, http://dbpedia.org/resource/Fibonacci_number +
, http://dbpedia.org/resource/Proofs_involving_the_addition_of_natural_numbers +
, http://dbpedia.org/resource/The_Stanford_Encyclopedia_of_Philosophy +
, http://dbpedia.org/resource/List_of_trigonometric_identities +
, http://dbpedia.org/resource/Root_of_a_polynomial +
, http://dbpedia.org/resource/Archive_for_History_of_Exact_Sciences +
, http://dbpedia.org/resource/Inference_rule +
, http://dbpedia.org/resource/Q.E.D. +
, http://dbpedia.org/resource/Deductive_reasoning +
, http://dbpedia.org/resource/Limit_ordinal +
, http://dbpedia.org/resource/Infinite_descent +
, http://dbpedia.org/resource/Binary_representation +
, http://dbpedia.org/resource/Tree_%28set_theory%29 +
, http://dbpedia.org/resource/Transfinite_induction +
, http://dbpedia.org/resource/Concrete_Mathematics +
, http://dbpedia.org/resource/Lexicographic_order +
, http://dbpedia.org/resource/Well-founded_set +
, http://dbpedia.org/resource/Reflexive_relation +
, http://dbpedia.org/resource/George_Boole +
, http://dbpedia.org/resource/Inequality_%28mathematics%29 +
, http://dbpedia.org/resource/Pierre_de_Fermat +
, http://dbpedia.org/resource/Pascal%27s_triangle +
, http://dbpedia.org/resource/Al-Karaji +
, http://dbpedia.org/resource/Philosophy +
, http://dbpedia.org/resource/Rigour +
|
| http://dbpedia.org/property/id
|
p/m062640
|
| http://dbpedia.org/property/mode
|
cs1
|
| http://dbpedia.org/property/source
|
Concrete Mathematics, page 3 margins.
|
| http://dbpedia.org/property/text
|
Mathematical induction proves that we can climb as high as we like on a ladder, by proving that we can climb onto the bottom rung and that from each rung we can climb up to the next one .
|
| http://dbpedia.org/property/title
|
Mathematical induction
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Anchor +
, http://dbpedia.org/resource/Template:Cite_SEP +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:No_footnotes +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Mvar +
, http://dbpedia.org/resource/Template:Springer +
, http://dbpedia.org/resource/Template:Mathematical_logic +
, http://dbpedia.org/resource/Template:Refend +
, http://dbpedia.org/resource/Template:Refbegin +
, http://dbpedia.org/resource/Template:Math +
, http://dbpedia.org/resource/Template:Citation_needed +
, http://dbpedia.org/resource/Template:Main +
, http://dbpedia.org/resource/Template:Main_articles +
, http://dbpedia.org/resource/Template:Rp +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Color +
, http://dbpedia.org/resource/Template:Distinguish +
, http://dbpedia.org/resource/Template:Sfn +
, http://dbpedia.org/resource/Template:Quote +
, http://dbpedia.org/resource/Template:Cite_journal +
, http://dbpedia.org/resource/Template:Authority_control +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Mathematical_induction +
, http://dbpedia.org/resource/Category:Articles_containing_proofs +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Technique +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Mathematical_induction?oldid=1117206878&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/OmegaPlusOmega_svg.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Dominoeffect.png +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Mathematical_induction +
|
| owl:differentFrom |
http://dbpedia.org/resource/Inductive_reasoning +
|
| owl:sameAs |
http://ia.dbpedia.org/resource/Induction_mathematic +
, http://fr.dbpedia.org/resource/Raisonnement_par_r%C3%A9currence +
, http://yago-knowledge.org/resource/Mathematical_induction +
, http://hr.dbpedia.org/resource/Aksiom_matemati%C4%8Dke_indukcije +
, http://kk.dbpedia.org/resource/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0%D0%BB%D1%8B%D2%9B_%D0%B8%D0%BD%D0%B4%D1%83%D0%BA%D1%86%D0%B8%D1%8F +
, http://zh.dbpedia.org/resource/%E6%95%B0%E5%AD%A6%E5%BD%92%E7%BA%B3%E6%B3%95 +
, http://sv.dbpedia.org/resource/Matematisk_induktion +
, http://hy.dbpedia.org/resource/%D5%84%D5%A1%D5%A9%D5%A5%D5%B4%D5%A1%D5%BF%D5%AB%D5%AF%D5%A1%D5%AF%D5%A1%D5%B6_%D5%AB%D5%B6%D5%A4%D5%B8%D6%82%D5%AF%D6%81%D5%AB%D5%A1 +
, http://simple.dbpedia.org/resource/Mathematical_induction +
, http://it.dbpedia.org/resource/Principio_d%27induzione +
, http://fi.dbpedia.org/resource/Matemaattinen_induktio +
, http://no.dbpedia.org/resource/Matematisk_induksjon +
, http://ca.dbpedia.org/resource/Demostraci%C3%B3_per_inducci%C3%B3 +
, http://fa.dbpedia.org/resource/%D8%A7%D8%B3%D8%AA%D9%82%D8%B1%D8%A7%DB%8C_%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C +
, http://mk.dbpedia.org/resource/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%BA%D0%B0_%D0%B8%D0%BD%D0%B4%D1%83%D0%BA%D1%86%D0%B8%D1%98%D0%B0 +
, http://is.dbpedia.org/resource/%C3%9Erepas%C3%B6nnun +
, http://th.dbpedia.org/resource/%E0%B8%81%E0%B8%B2%E0%B8%A3%E0%B8%AD%E0%B8%B8%E0%B8%9B%E0%B8%99%E0%B8%B1%E0%B8%A2%E0%B9%80%E0%B8%8A%E0%B8%B4%E0%B8%87%E0%B8%84%E0%B8%93%E0%B8%B4%E0%B8%95%E0%B8%A8%E0%B8%B2%E0%B8%AA%E0%B8%95%E0%B8%A3%E0%B9%8C +
, http://de.dbpedia.org/resource/Vollst%C3%A4ndige_Induktion +
, http://sq.dbpedia.org/resource/Induksioni_matematik +
, http://ckb.dbpedia.org/resource/%D8%A6%DB%8C%D8%B3%D8%AA%DB%8C%D9%82%D8%B1%D8%A7%DB%8C_%D9%85%D8%A7%D8%AA%D9%85%D8%A7%D8%AA%DB%8C%DA%A9%DB%8C +
, http://pl.dbpedia.org/resource/Indukcja_matematyczna +
, https://global.dbpedia.org/id/jCeQ +
, http://be.dbpedia.org/resource/%D0%9C%D0%B0%D1%82%D1%8D%D0%BC%D0%B0%D1%82%D1%8B%D1%87%D0%BD%D0%B0%D1%8F_%D1%96%D0%BD%D0%B4%D1%83%D0%BA%D1%86%D1%8B%D1%8F +
, http://www.wikidata.org/entity/Q178377 +
, http://nn.dbpedia.org/resource/Matematisk_induksjon +
, http://ba.dbpedia.org/resource/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA_%D0%B8%D0%BD%D0%B4%D1%83%D0%BA%D1%86%D0%B8%D1%8F +
, http://sl.dbpedia.org/resource/Matemati%C4%8Dna_indukcija +
, http://ko.dbpedia.org/resource/%EC%88%98%ED%95%99%EC%A0%81_%EA%B7%80%EB%82%A9%EB%B2%95 +
, http://da.dbpedia.org/resource/Induktion_%28matematik%29 +
, http://he.dbpedia.org/resource/%D7%90%D7%99%D7%A0%D7%93%D7%95%D7%A7%D7%A6%D7%99%D7%94_%D7%9E%D7%AA%D7%9E%D7%98%D7%99%D7%AA +
, http://ro.dbpedia.org/resource/Induc%C8%9Bie_matematic%C4%83 +
, http://ast.dbpedia.org/resource/Inducci%C3%B3n_matem%C3%A1tica +
, http://rdf.freebase.com/ns/m.04rxr +
, http://ar.dbpedia.org/resource/%D8%A7%D8%B3%D8%AA%D9%82%D8%B1%D8%A7%D8%A1_%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A +
, http://hu.dbpedia.org/resource/Teljes_indukci%C3%B3 +
, http://ru.dbpedia.org/resource/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%B8%D0%BD%D0%B4%D1%83%D0%BA%D1%86%D0%B8%D1%8F +
, http://ml.dbpedia.org/resource/%E0%B4%97%E0%B4%A3%E0%B4%BF%E0%B4%A4%E0%B5%80%E0%B4%AF_%E0%B4%86%E0%B4%97%E0%B4%AE%E0%B4%A8%E0%B4%82 +
, http://pt.dbpedia.org/resource/Indu%C3%A7%C3%A3o_matem%C3%A1tica +
, http://ja.dbpedia.org/resource/%E6%95%B0%E5%AD%A6%E7%9A%84%E5%B8%B0%E7%B4%8D%E6%B3%95 +
, http://hi.dbpedia.org/resource/%E0%A4%97%E0%A4%A3%E0%A4%BF%E0%A4%A4%E0%A5%80%E0%A4%AF_%E0%A4%86%E0%A4%97%E0%A4%AE%E0%A4%A8 +
, http://id.dbpedia.org/resource/Induksi_matematika +
, http://es.dbpedia.org/resource/Inducci%C3%B3n_matem%C3%A1tica +
, http://eu.dbpedia.org/resource/Indukzio_matematiko +
, http://lv.dbpedia.org/resource/Matem%C4%81tisk%C4%81_indukcija +
, http://d-nb.info/gnd/4124408-4 +
, http://sk.dbpedia.org/resource/Matematick%C3%A1_indukcia +
, http://cs.dbpedia.org/resource/Matematick%C3%A1_indukce +
, http://lt.dbpedia.org/resource/Matematin%C4%97_indukcija +
, http://uk.dbpedia.org/resource/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%BD%D0%B0_%D1%96%D0%BD%D0%B4%D1%83%D0%BA%D1%86%D1%96%D1%8F +
, http://la.dbpedia.org/resource/Inductio_plena +
, http://cy.dbpedia.org/resource/Anwythiad_mathemategol +
, http://az.dbpedia.org/resource/Riyazi_induksiya +
, http://ta.dbpedia.org/resource/%E0%AE%95%E0%AE%A3%E0%AE%BF%E0%AE%A4%E0%AE%A4%E0%AF%8D_%E0%AE%A4%E0%AF%8A%E0%AE%95%E0%AF%81%E0%AE%A4%E0%AF%8D%E0%AE%A4%E0%AE%B1%E0%AE%BF%E0%AE%A4%E0%AE%B2%E0%AF%8D +
, http://gl.dbpedia.org/resource/Induci%C3%B3n_matem%C3%A1tica +
, http://uz.dbpedia.org/resource/Induksiya_%28matematika%29 +
, http://bn.dbpedia.org/resource/%E0%A6%97%E0%A6%BE%E0%A6%A3%E0%A6%BF%E0%A6%A4%E0%A6%BF%E0%A6%95_%E0%A6%86%E0%A6%B0%E0%A7%8B%E0%A6%B9_%E0%A6%AC%E0%A6%BF%E0%A6%A7%E0%A6%BF +
, http://tt.dbpedia.org/resource/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA_%D0%B8%D0%BD%D0%B4%D1%83%D0%BA%D1%86%D0%B8%D1%8F +
, http://dbpedia.org/resource/Mathematical_induction +
, http://si.dbpedia.org/resource/%E0%B6%9C%E0%B6%AB%E0%B7%92%E0%B6%AD_%E0%B6%85%E0%B6%B7%E0%B7%8A%E2%80%8D%E0%B6%BA%E0%B7%94%E0%B7%84%E0%B6%B1%E0%B6%BA +
, http://el.dbpedia.org/resource/%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AE_%CE%B5%CF%80%CE%B1%CE%B3%CF%89%CE%B3%CE%AE +
, http://eo.dbpedia.org/resource/Matematika_indukto +
, http://bg.dbpedia.org/resource/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0_%D0%B8%D0%BD%D0%B4%D1%83%D0%BA%D1%86%D0%B8%D1%8F +
, http://sh.dbpedia.org/resource/Matemati%C4%8Dka_indukcija +
, http://cv.dbpedia.org/resource/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%C4%83%D0%BB%D0%BB%D0%B0_%D0%B8%D0%BD%D0%B4%D1%83%D0%BA%D1%86%D0%B8 +
, http://nl.dbpedia.org/resource/Volledige_inductie +
, http://vi.dbpedia.org/resource/Quy_n%E1%BA%A1p_to%C3%A1n_h%E1%BB%8Dc +
, http://sr.dbpedia.org/resource/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%BA%D0%B0_%D0%B8%D0%BD%D0%B4%D1%83%D0%BA%D1%86%D0%B8%D1%98%D0%B0 +
, http://tr.dbpedia.org/resource/Matematiksel_t%C3%BCmevar%C4%B1m +
|
| rdf:type |
http://dbpedia.org/class/yago/Argument106648724 +
, http://dbpedia.org/ontology/TopicalConcept +
, http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/class/yago/WikicatMathematicalProofs +
, http://dbpedia.org/class/yago/MathematicalProof106647864 +
, http://dbpedia.org/class/yago/Proof106647614 +
, http://dbpedia.org/class/yago/Evidence106643408 +
, http://dbpedia.org/class/yago/Indication106797169 +
, http://dbpedia.org/class/yago/Idea105833840 +
, http://dbpedia.org/class/yago/Content105809192 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Cognition100023271 +
, http://dbpedia.org/class/yago/Generalization105913275 +
, http://dbpedia.org/class/yago/Principle105913538 +
, http://dbpedia.org/class/yago/WikicatPrinciples +
, http://dbpedia.org/class/yago/PsychologicalFeature100023100 +
|
| rdfs:comment |
Matematická indukce je metoda dokazování m … Matematická indukce je metoda dokazování matematických vět a tvrzení, která se používá, pokud chceme ukázat, že dané tvrzení platí pro všechna přirozená čísla, případně jinou, předem danou nekonečnou posloupnost. Typicky se užívá k důkazům těch tvrzení o přirozených číslech, u nichž je snadné ověřit, že platí pro číslo 1, a zároveň lze platnost pro každé dané n převést v konečně mnoha krocích na platnost pro 1 s tím, že počet těchto kroků s rostoucím n také roste.čet těchto kroků s rostoucím n také roste.
, En mathématiques, le raisonnement par récu … En mathématiques, le raisonnement par récurrence (ou par induction, ou induction complète) est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels. Le raisonnement par récurrence consiste à démontrer les points suivants :
* la propriété est satisfaite par un entier n0 (généralement 0 ou 1) ;
* chaque fois que cette propriété est satisfaite par un certain nombre entier naturel n ≥ n0, elle est également satisfaite par son successeur, c'est-à-dire par le nombre entier n + 1., c'est-à-dire par le nombre entier n + 1.
, 수학적 귀납법(數學的歸納法, 영어: mathematical induction … 수학적 귀납법(數學的歸納法, 영어: mathematical induction)은 모든 자연수가 어떤 주어진 성질을 만족시킨다는 명제를 증명하는 방법의 하나이다. 가장 작은 자연수(문맥에 따라 0일 수도 1일 수도 있다)가 그 성질을 만족시킴을 증명한 뒤, 만약 어떤 자연수가 만족시키면 바로 다음 자연수 역시 만족시킴을 증명하기만 하면, 모든 자연수에 대한 증명이 끝난다. 이는 임의의 정초 관계를 갖춘 집합 위의 초한 귀납법으로 확장할 수 있다. 수학적 귀납법은 이름과는 달리 이 아닌 연역적 논증에 속한다. 수학적 귀납법은 자연수의 페아노 공리계의 공리이며, 메타논리학적 추론 규칙이기도 하다.법은 자연수의 페아노 공리계의 공리이며, 메타논리학적 추론 규칙이기도 하다.
, Matematikan, indukzio matematikoaren print … Matematikan, indukzio matematikoaren printzipioa, -ren menpean dauden proposizioak egia diren ala ez frogatzea ahalbidetzen duen arrazonamendua da. Kontuan harturik, zenbaki arrunt infinituko multzoaren barruan dagoela. Arrazonamendua hurrengoa izango litzateke: propietatea betetzen duen zenbaki arrunt bat hartuz, frogatu behar da edozein zenbaki , propietatea izanik, inplikatzen duela zenbakiak ere propietatea beteko duela. Beraz baino handiagoak diren zenbaki guztiak propietatea beteko dute.n zenbaki guztiak propietatea beteko dute.
, Matematika indukto estas matematika pruvme … Matematika indukto estas matematika pruvmetodo, per kiu oni pruvas aserton por ĉiuj naturaj nombroj. Ĉar temas pri senfina kvanto da nombroj, tia pruvo ne povas esti realigata por ĉiu unuopa kazo. Tial oni realigas la pruvon per du ŝtupoj: La bazo de la indukto por la plej malgranda nombro (plej ofte 0 aŭ 1) kaj la paŝo de la indukto, kiu logike deduktas de aserto pri iu varianta nombro la koncernan aserton por la sekva nombro. Ĉi tiu pruvmetodo havas fundamentan rolon en la aritmetiko kaj aroteorio, kaj tial gravas por ĉiuj branĉoj de matematiko.ial gravas por ĉiuj branĉoj de matematiko.
, Die vollständige Induktion ist eine mathem … Die vollständige Induktion ist eine mathematische Beweismethode, nach der eine Aussage für alle natürlichen Zahlen bewiesen wird, die größer oder gleich einem bestimmten Startwert sind. Da es sich um unendlich viele Zahlen handelt, kann eine Herleitung nicht für jede Zahl einzeln erbracht werden. Sie ist ein deduktives Verfahren. Der Beweis, dass die Aussage für alle ( meist 1 oder 0) gilt,wird daher in zwei Etappen durchgeführt: Oder weniger „mathematisch“ formuliert:t: Oder weniger „mathematisch“ formuliert:
, Indukcja matematyczna – metoda dowodzenia twierdzeń o prawdziwości nieskończonej liczby stwierdzeń oraz definiowania rekurencyjnego (zob. ). W najbardziej typowych przypadkach dotyczą one liczb naturalnych.
, Matematisk induktion är en bevismetod som … Matematisk induktion är en bevismetod som tillämpas på påståenden som omfattar mängden av naturliga tal som är större än eller lika med ett startvärde (till exempel 0 eller 1). Då mängden naturliga tal är obegränsad kan bevis inte utföras för varje enskilt fall. I det generella induktionsbeviset delas beviset för påståendet upp i tre steg: När dessa steg är utförda är det bevisat att påståendet gäller för alla n från och med det antagna startvärdet. Tekniken kan även tillämpas på de matematiska objekt som är vidareutvecklingar av de positiva heltalen, ordinaltalen.gar av de positiva heltalen, ordinaltalen.
, 数学归纳法（英語：Mathematical Induction MI）是一种数学证明方法，通常被用于证明某个给定命题在整个或者局部自然数范围内成立。除了自然数以外，广义上的数学归纳法也可以用于证明一般良基结构，例如：集合论中的树。这种广义的数学归纳法应用于数学逻辑和计算机科学领域，称作结构归纳法。 虽然数学归纳法名字中有“归纳”，但是数学归纳法并非逻辑上不严谨的归纳推理法，它属于完全严谨的演绎推理法。事實上，所有數學證明都属于演繹推理方法。
, Η μαθηματική επαγωγή, ή διαφορετικά τέλεια … Η μαθηματική επαγωγή, ή διαφορετικά τέλεια επαγωγή, είναι μια μέθοδος μαθηματικής απόδειξης που συνήθως χρησιμοποιείται για να αποδειχτεί ότι μια πρόταση ισχύει για όλους τους φυσικούς αριθμούς. Η μαθηματική επαγωγή είναι λογικά ισοδύναμη με την αρχή της καλής διάταξης. Όλες οι προτάσεις που αποδεικνύονται με μαθηματική επαγωγή εξαρτώνται από ένα φυσικό αριθμό, ας πούμε τον αριθμό ν. Όπως για παράδειγμα η πρόταση:ν αριθμό ν. Όπως για παράδειγμα η πρόταση:
, الاستقراء الرياضي (بالإنجليزية: Mathematic … الاستقراء الرياضي (بالإنجليزية: Mathematical induction) هو أحد أنواع البرهان الرياضي تستخدم عادة لبرهنة أنّ معادلة أو متباينة ما صحيحة لمجموعة لانهائية من الأعداد، كالأعداد الصحيحة. يعتمد البرهان على مبدأ وقوع أحجار الدومينو، ويتم على مرحلتين: في الأولى، يبرهن أنّ أوّل رقم في المجموعة يحقّق المطلوب، وفي الثانية نفرض أنّ المطلوب يتحقّق لعدد ما من المجموعة، ونبرهن، جبريًا، مثلاً، أنّه يتحقّق أيضًا للعدد الذي يليه في المجموعة استنادًا على الفرض وعلى الأساس.ي المجموعة استنادًا على الفرض وعلى الأساس.
, La demostració per inducció en matemàtica … La demostració per inducció en matemàtica és un tipus de demostració que s'aplica quan un cas base és provat i una regla d'inducció és usada per provar una sèrie d'altres casos que normalment és infinita. L'any 1575 Francesco Maurolico va fer la primera demostració per inducció al seu treball Arithmeticorum libri duo. En una forma general mostra que les formes que poden ser avaluades són equivalents en el que es coneix com a inducció estructural. La Demostració per inducció és una regla d'inferència usada en proves formals, que son exemples de raonament deductiu.s, que son exemples de raonament deductiu.
, 数学的帰納法（すうがくてききのうほう、英: mathematical induction）は、数学における証明の手法の一つである。
, En matemáticas, la inducción es un razonam … En matemáticas, la inducción es un razonamiento que permite demostrar proposiciones que dependen de una variable que toma una infinidad de valores enteros. En términos simples, la inducción matemática consiste en el siguiente razonamiento: Dado un número entero que tiene la propiedad , y el hecho de que si hasta cualquier número entero con la propiedad implique que también la tiene, entonces, los números enteros a partir de tienen la propiedad . La demostración está basada en el axioma denominado principio de la inducción matemática.ado principio de la inducción matemática.
, In de wiskunde is volledige inductie een m … In de wiskunde is volledige inductie een methode om te bewijzen dat een uitspraak geldig is voor alle natuurlijke getallen. Het is de bekendste vorm van wiskundige inductie. Omdat er oneindig veel natuurlijke getallen zijn, kan een dergelijk bewijs niet voor elk getal afzonderlijk worden geleverd. Volledige inductie houdt in de meest gebruikelijke vorm in dat het bewijs wordt geleverd voor het getal 0 en dat wordt bewezen dat als de uitspraak geldig is voor enig natuurlijk getal, de uitspraak ook geldig is voor de opvolger van dit getal. Zonder dat voor ieder natuurlijk getal de uitspraak afzonderlijk is bewezen, kan men nu concluderen dat ze voor elk natuurlijk getal geldig is. Uit de geldigheid voor 0 volgt immers de geldigheid voor 1 en uit de geldigheid voor 1 volgt die voor 2, enzovogeldigheid voor 1 volgt die voor 2, enzovo
, Математическая индукция — метод математиче … Математическая индукция — метод математического доказательства, который используется, чтобы доказать истинность некоторого утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером — база (базис) индукции, а затем доказывается, что если верно утверждение с номером , то верно и следующее утверждение с номером — шаг индукции, или индукционный переход. — шаг индукции, или индукционный переход.
, Induksi matematika merupakan salah satu ke … Induksi matematika merupakan salah satu kegiatan penalaran deduktif yang berkaitan dengan pembuktian matematika. Dalam matematika, induksi matematika merupakan sebuah dasar aksioma bagi beberapa teorema yang melibatkan bilangan asli. Pembuktian suatu pernyataan matematis dengan induksi matematika dilakukan pada objek matematika yang bersifat diskrit, misalnya teori bilangan, teori graf, dan kombinatorika. Matematikawan menggunakan induksi matematika untuk menjelaskan pernyataan matematika yang telah diketahui kebenarannya.ematika yang telah diketahui kebenarannya.
, Indução matemática é um método de prova ma … Indução matemática é um método de prova matemática usado para demonstrar a verdade de um número infinito de proposições. A forma mais simples e mais comum de indução matemática prova que um enunciado vale para todos os números naturais n e consiste de dois passos: 1.
* A base: mostrar que o enunciado vale para n = 0, ou n = 1, dependendo da definição utilizada de ; 2.
* O passo indutivo: mostrar que, se o enunciado vale para n = k, então o mesmo enunciado vale para n = k + 1. 1.
* O primeiro dominó cairá. 2.
* Sempre que um dominó cair, seu próximo vizinho também cairá.nó cair, seu próximo vizinho também cairá.
, Il principio d'induzione (da non confonder … Il principio d'induzione (da non confondersi con il metodo di induzione) è un enunciato sui numeri naturali che in matematica trova un ampio impiego nelle dimostrazioni, per provare che una certa proprietà è valida per tutti i numeri interi. L'idea intuitiva alla sua base è l'effetto domino: affinché le tessere da domino disposte lungo una fila cadano tutte sono sufficienti due condizioni:
* che cada la prima tessera;
* che ogni tessera sia posizionata in modo tale che cadendo provochi la caduta della successiva.dendo provochi la caduta della successiva.
, Математи́чна інду́кція — це застосування п … Математи́чна інду́кція — це застосування принципу індукції для доведення теорем у математиці. Зазвичай полягає в доведенні правильності твердження стосовно одного з натуральних чисел, а потім всіх наступних. Принцип індукції полягає в тому, що нескінченна послідовність тверджень , , правильна якщо: 1.
* — правильне, та 2.
* із правильності випливає правильність (істинність) для всіх k.иває правильність (істинність) для всіх k.
, Mathematical induction is a method for pro … Mathematical induction is a method for proving that a statement P(n) is true for every natural number n, that is, that the infinitely many cases P(0), P(1), P(2), P(3), ... all hold. Informal metaphors help to explain this technique, such as falling dominoes or climbing a ladder: Mathematical induction proves that we can climb as high as we like on a ladder, by proving that we can climb onto the bottom rung (the basis) and that from each rung we can climb up to the next one (the step). — Concrete Mathematics, page 3 margins.). — Concrete Mathematics, page 3 margins.
|
| rdfs:label |
Volledige inductie
, Математическая индукция
, Математична індукція
, Demostració per inducció
, Mathematical induction
, Matematická indukce
, Principio d'induzione
, Matematisk induktion
, Raisonnement par récurrence
, Μαθηματική επαγωγή
, Indukcja matematyczna
, Indução matemática
, Induksi matematika
, Indukzio matematiko
, Matematika indukto
, 数学归纳法
, 수학적 귀납법
, Inducción matemática
, استقراء رياضي
, Vollständige Induktion
, 数学的帰納法
|
