Tytuł książki:
Algebry częściowe i ich zastosowanie do opisu języków programowania
Autor książki:
Bolesław Wojdyło
| Dane szczegółowe: | |
| Wydawca: | Uniwersytet Mikołaja Kopernika |
| Oprawa: | miękka |
| Ilość stron: | 66 s. |
| EAN: | 9788323104629 |
| ISBN: | 83-231-0462-X |
| Data: | 2001-01-29 |
pozycja niedostępna
×
1 / 1
Opis książki:
Opracowanie to zostało pomyślane jako materiały pomocnicze (skrypt) do wykładów specjalistycznych z zakresu alge częściowych (tzn. zbiorów z częściowymi działaniami). Zakres publikacji ogranicza się głównie do ukazania udziału autora, zarówno w rozwoju teorii alge częściowych, jak i w zastosowaniu tej teorii w informatyce.
Książka "Algebry częściowe i ich zastosowanie do opisu języków programowania" - Bolesław Wojdyło - oprawa miękka - Wydawnictwo Uniwersytet Mikołaja Kopernika.
Spis treści:
Wybrane zagadnienia teorii algebr częściowych (Pojęcia podstawowe *Własności quomorfizmów i homomorfizmów *Kategorie algebr częściowych *Konsekwencje systemu faktoryzacji J. Schmidta w kategorii dom(t) *Kategoryjne spojrzenie na twierdzenie J. Schmidta o homomorfizmach dla algebr częściowych *Wielomiany w algebrach częściowych. Interpolacja)
Zastosowanie algebr częściowych w informatyce (Syntaktyka i semantyka języków programowania z algebraicznego punktu widzenia *Programy współbieżne)
Ćwiczenia
Zastosowanie algebr częściowych w informatyce (Syntaktyka i semantyka języków programowania z algebraicznego punktu widzenia *Programy współbieżne)
Ćwiczenia