Tworzenie unitermów złożonych

• Autorzy: Niziołek M.

Warianty tytułu

EN

Creation of complex uniterms

• Języki publikacji: PL

Abstrakty

PL

Sformalizowanym sposobem na opis algorytmów jest algebra algorytmów. Podstawowym elementem algebry algorytmów jest uniterm. Artykuł prezentuje sposób formowania unitermów złożonych w nowym systemie komputerowym tworzenia formuł algebry algorytmów.

EN

A formalized way to describe an algorithm is the algebra of algorithms. The basic element of algebra of algorithms is an uniterm. The paper presents a method of forming complex uniterms in a new computer system to create formulas of algorithms' algebra.

Słowa kluczowe

PL

uniterm złożony; algebra algorytmów; algorytm

EN

uniterm complex; algorithm; algebra of algorithms

• Wydawca: Oficyna Wydawnicza Politechniki Opolskiej
• Czasopismo: Zeszyty Naukowe. Elektryka / Politechnika Opolska
• Rocznik: 2012
• Tom: z. 67
• Strony: 79--82
• Opis fizyczny: Bibliogr. 4 poz., rys.

Twórcy

autor

Niziołek M.

• Wydział Elektrotechniki, Automatyki i Informatyki Politechniki Opolskiej

Bibliografia

• [1] BRYTKOWSKI W.M.: Modelowanie redaktora formuł sekwencyjnych algorytmów: autoreferat doktorskiej dysertacji. Specjalność 01.05.02 „Matematyczne modelowanie i obliczeniowy metody” – Lwów, 2003, 18 s.
• [2] WASYLUK A.S.: Podwyższenie efektywności matematycznych i programowych zasobów edytora formuł algorytmów: autoreferat doktorskiej dysertacji. Specjalność 01.05.02 „Matematyczne i programowy zasoby obliczeniowych maszyn i systemów” – Lwów, 2008, 20 s.
• [3] OVSYAK V., LATAWIEC K., OVSYAK A.: Models of the process of an analysis of xml-formatted formulae of algorithms. Conference "Intelligent Information and Engineering Systems" (INFOS 2011), September 19-23, 2011, Polańczyk, Poland
• [4] OWSIAK V., OWSIAK A.: Rozszerzenie algebry algorytmów PAK 2010 nr 2, s. 184-188