Teoria algorytmów i maszynydrukujące

6 Dec 2016 14:45

Monografia „Teoria algorytmów abstrakcyjnych i matematyczne modelowanie systemów informacyjnych” autorstwa Włodzimierza Owsiaka, Aleksandra Owsiaka i Julii Owsiak zawiera otrzymane przez autorów oryginalne rezultaty badań naukowych z dziedziny informatyki. Przeprowadzono krótką analizę znanych teorii algorytmów. Podano definicje stworzonych przez autorów algorytmów abstrakcyjnych, metod ich syntezy, nieprzemiennej logiki i metod minimalizacji formuł algorytmów. Wykorzystanie stworzonych metod zilustrowano syntezą, minimalizacją i badaniem matematycznego modelu systemu informacyjnego. Monografia zawiera dwie części i dodatki. Pierwsza część składa się z rozdziałów poświęconych analizie istniejących metod intuicyjnego opisania algorytmów, teorii algorytmów abstrakcyjnych, nieprzemiennej logiki, metod syntezy i minimalizacji algorytmów; przedstawiono też stworzoną metodykę modelowania matematycznego systemów informacyjnych. Druga część obejmuje rozdziały dotyczące analizy schematów elektromechanicznych ma- szyn drukujących, syntezy i minimalizacji struktury translatora, budowy i badania matematycznego modelu algorytmów abstrakcyjnych translatora i weryfikacji matematycznego modelu translatora. W dodatkach zawarto graficzne oznaczenia wewnętrznych i zewnętrznych elektromechanicznych elementów maszyn drukujących, struktury danych parametrów elementów schematów elektromechanicznych, PDF - plik ACCEL EDA z opisaniem elektromechanicznych elementów maszyn drukujących, struktury danych otrzymanych z wykorzystaniem translatora i struktury danych otrzymanych z wykorzystaniem SAPR EMC. Książka może być przydatna dla naukowców, doktorantów i studentów ostatnich lat studiów, zajmujących się modelowaniem matematycznym systemów informacyjnych. Główny autor książki Włodzimierz Owsiak jest profesorem dr. hab. pracującym od wielu lat w Ukraińskiej Akademii Drukarstwa we Lwowie. Włodzimierz Owsiak, Aleksander Owsiak, Julia Owsiak: Teoria algorytmów abstrakcyjnych i matematyczne modelowanie systemów informacyjnych, Politechnika Opolska, Opole 2005, s. 275