Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

Presentation of Mathematical Induction by Formula of Algebra of Algorithms

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  Link otwiera się w nowym oknie
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.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies