- 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 - Opis:
- 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.
- Źródło:
-
Measurement Automation Monitoring; 2016, 62, 11; 367-370
2450-2855 - Pojawia się w:
- Measurement Automation Monitoring
- Dostawca treści:
- Biblioteka Nauki
Artykuł