Notice: Undefined index: linkPowrot in C:\wwwroot\wwwroot\publikacje\publikacje.php on line 1275
Strona główna > Publikacje
Publikacje
Pomoc (F2)
[63990] Artykuł:

Research Methodology of Mathematical Support of Computing Machines and Systems

(Metodologja badania obespeczenia matymatycznego maszyn obliczeniowych i systemów)
Czasopismo: Proceedings 12th International Scientific And Technical Conference Computer Science and Information Technologies (csit). September 05-08, 2017, Lviv, Ukraine   Strony: 44-47
ISBN:  978-1-5386-1639-0
Wydawca:  IEEE, 345 E 47TH ST, NEW YORK, NY 10017 USA
Opublikowano: Wrzesień 2017
 
  Autorzy / Redaktorzy / Twórcy
Imię i nazwisko Wydział Katedra Do oświadczenia
nr 3		 Grupa
przynależności		 Dyscyplina
naukowa		 Procent
udziału		 Liczba
punktów
do oceny pracownika		 Liczba
punktów wg
kryteriów ewaluacji
Volodymyr Ovsyak orcid logo WEAiIKatedra Systemów Informatycznych *Takzaliczony do "N"Automatyka, elektronika, elektrotechnika i technologie kosmiczne2515.003.75  
Dmytro Bui Niespoza "N" jednostki25.00.00  
Oleksandr Ovsyak Niespoza "N" jednostki25.00.00  
Julia Petruszka Niespoza "N" jednostki25.00.00  

Grupa MNiSW:  Materiały z konferencji międzynarodowej (zarejestrowane w Web of Science)
Punkty MNiSW: 15
Klasyfikacja Web of Science: Proceedings Paper

DOI LogoDOI     Web of Science Logo Web of Science    
Keywords:

algebra of algorithms  mathematical induction  transfinite mathematical induction  research methodology of mathematical support. 


Abstract:

The research methodology of mathematical support of computer-aided design systems has been formulated based on the algebra of algorithms and the mathematical induction. The methodology has been illustrated on the example of the research of the known but slightly complicated Euclidean algorithm.


B   I   B   L   I   O   G   R   A   F   I   A
[1] Glushkov V.M., Cejtlin G.E., Jushhenko E.L. (1974). Algebra. Jazyki. Programmirovanie. – K.: «Naukova dumka» – 328 s. (in Russian)
[2] Cejtlin G.E. (2003). Algebraicheskaja algoritmika: teorija i primenenija // Kibernetika i sistemnyj analiz. № 1– S.8 – 18. (in Russian)
[3] Ovsyak V.K. (1996). Zasoby ekvivalentnykh peretvoren' alhorytmiv informatsiyno-tekhnolohichnykh system // Dopovidi Natsional'noyi akademiyi nauk Ukrayiny. # 9– S.83-89. (in Ukrainian)
[4] Ovsjak A.V. (2013). Modificirovannaja algebra algoritmov i instrumental'nye sredstva obrabotki formul algebry algoritmov / A.V. Ovsjak, V.K.Ovsjak // Upravljajushhie sistemy i mashiny. № 1– S. 27-36. (in Russian)
[5] Ovsjak O. (2012). Alghebra alghorytmiv z baghatoznachnym eliminuvannjam / O. V. Ovsjak // Naukovi zapysky [Ukrajinsjkoji akademiji drukarstva]. № 3.– S. 103 – 107. (in Ukrainian)
[6] Matematicheskaja indukcija. Matematicheskaja jenciklopedija. (1977). V pjati tomah. Glavnyj redaktor I.M.Vinogradov. Tom 3. – M: "Sovetskaja jenciklopedija".. – S. 564. (in Russian)

POWRÓT
Strona główna > Publikacje