Niniejsza praca składa się z trzech rozdziałów. W rozdziale pierwszym omówiono podstawy teoretyczne oraz zaprezentowano przykłady praktycznych zastosowań tablic decyzyjnych. Rozdział drugi opisuje rozwiązanie problemu dużej złożoności obliczeniowej algorytmu redukcji w programie PROTON. Na końcu, w rozdziale trzecim przedstawiano założenia i opis programu PROTON. Omawiane tu przykłady pozwalają krok po kroku prześledzić działanie programu i jego współpracę z programami LERS oraz ESPRESSO. Oczywiście bogactwo przykładów ma na celu przystępne i przejrzyste zapoznanie czytelnika z zagadnieniem.
Pragnę bardzo serdecznie podziękować Panu profesorowi Tadeuszowi Łubie, dzięki któremu mógł powstać ten program komputerowy oraz wszystkim pozostałym moim wykładowcom z Politechniki Warszawskiej.
3