Autor: Petrushka, J. - Katalog OPAC zbiorów

Skocz do pozycji: 1.

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ł

Skocz do pozycji: 2.

Tytuł:: Models of a Computer System with an Abstract Graphic Element
Autorzy:: Ovsyak, V.
Ovsyak, O.
Kozelko, M.
Petrushka, J.
Powiązania:: https://bibliotekanauki.pl/articles/114276.pdf
Data publikacji:: 2016
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: computer system model
abstract graphic element
graph
class diagram
Opis:: A general model of a computer system with an abstract graphic element and a model of formation of an element form have been designed using the means of algebra of algorithms, the system of algorithmic algebras and platforms.
Źródło:: Measurement Automation Monitoring; 2016, 62, 10; 345-347
2450-2855
Pojawia się w:: Measurement Automation Monitoring
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 3.

Tytuł:: An algebraic model of the subsystem for the computer generation of elimination operation
Autorzy:: Ovsyak, V.
Ovsyak, O.
Kozelko, M.
Petrushka, J.
Powiązania:: https://bibliotekanauki.pl/articles/114477.pdf
Data publikacji:: 2018
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: algorithm of algebra
algebraic methods
algebraic model of operation
elimination operation
graph of subsystem
diagram of sequences
Opis:: A brief analysis of the known methods of non-algebraic and algebraic descriptions of algorithms has been presented. The features of the elimination operation being a term of the algorithm algebra have been shown. An algebraic model of the computer generation of the elimination operation has been synthesized by means of the algorithm algebra. The model has been implemented with the help of software on the platform Microsoft Visual Studio.NET. The models of subsystem as a graph and a diagram of sequences have been designed as well.
Źródło:: Measurement Automation Monitoring; 2018, 64, 3; 48-52
2450-2855
Pojawia się w:: Measurement Automation Monitoring
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja