Opis: WNT 1974 str. 248, stan db (zagięta okładka) Zbiór prac będących próbą usystematyzowania, pogłębienia bądź rozszerzenia matematycznych podstaw informatyki, napisanych przez polskich specjalistów z tej dziedziny. Poszczególne prace zawierają omówienie sformułowanych w terminach matematycznych wielu na ogół znanych problemów, takich jak np. opis działania maszyny liczącej, definicja obliczenia w maszynie, analiza działania programu, metody definiowania języków, opis odwzorowań i działań pozwalających przetwarzać automatycznie złożone struktury danych, algorytmiczna symulacja procesów za pomocą programów dla maszyn cyfrowych. Książka jest przeznaczona dla tych wszystkich, którzy interesują się zarówno praktycznymi zastosowaniami techniki obliczeniowej, jak i jej teoretycznymi aspektami, projektantów języków i systemów programowania, studentów wyższych lat wydziałów matematycznych, doktorantów z dziedziny automatycznego przetwarzania informacji.
|