Presentation of Mathematical Induction by Formula of Algebra of Algorithms

Szczegóły
Opis

Tytuł:: Presentation of Mathematical Induction by Formula of Algebra of Algorithms
Autorzy:: Ovsyak, V.
Ovsyak, O.
Petrushka, J.
Powiązania:: https://bibliotekanauki.pl/articles/114070.pdf
Data publikacji:: 2016
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: formula of the axiom of mathematical induction
tautology
truthful formula
ordering of the variable values
Źródło:: Measurement Automation Monitoring; 2016, 62, 11; 367-370
2450-2855
Język:: angielski
Prawa:: CC BY: Creative Commons Uznanie autorstwa 3.0 PL
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

The analysis of the axiom of mathematical induction, which is given by the formula of mathematical logics is presented in the paper. It has been established that the famous formula of mathematical induction is executed only in case of ordered values of the variable linked by a quantifier. This ordering is not described analytically. Algebra of algorithms is applied for an analytical description of ordering of the variable values. The axiom of mathematical induction is described by the formula of algebra of algorithms.

Informacja

Powiązane pozycje