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ł:: Synthesis and optimization of sequencing operation algorithm
Autorzy:: Ovsyak, O.
Petrushka, J.
Kozelko, M.
Powiązania:: https://bibliotekanauki.pl/articles/114365.pdf
Data publikacji:: 2015
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: algebra of algorithms
operation of sequencing
synthesis of algorithm formula
optimization of algorithm formula
Opis:: Synthesis and optimization ways of sequencing operation applied in computer system, are described in the paper. The ways are general, and use sequencing and eliminating operations of algorithm algebra. They allow for automated synthesis of the sequencing operations. Optimization of algorithm formulas has been made on the basis of the properties of sequencing operations.
Źródło:: Measurement Automation Monitoring; 2015, 61, 10; 484-487
2450-2855
Pojawia się w:: Measurement Automation Monitoring
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 3.

Tytuł:: Models of Identification of Sequencing Operation
Autorzy:: Ovsyak, O.
Petrushka, J.
Kozelko, M.
Powiązania:: https://bibliotekanauki.pl/articles/114648.pdf
Data publikacji:: 2015
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: identification of sequencing
analytic model
diagram of sequences
A-operator of sequencing
B-operator of sequencing
Opis:: We have described two developed models of identification of the sequencing operation of the modified algebra of algorithms. One of them is the analytical one, and the second is a diagram of sequences. We have applied the modified algebra of algorithms to create an analytical model. The model in a shape of a diagram of sequences was built on the basis of the program code in Microsoft Visual Studio .Net. Models describe the identification of the sequencing operation with horizontal and vertical orientation. Also, the operators of the operations of sequencing are identified by the models.
Źródło:: Measurement Automation Monitoring; 2015, 61, 10; 488-491
2450-2855
Pojawia się w:: Measurement Automation Monitoring
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 4.

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: 5.

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