Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories

Opis książki:

Dowody poprawności oprogramowania są jedynym sposobem zapewnienia użytkownika (inwestora), że można z niego korzystać bez ryzyka. W pracy rozważa się zatem klasę reguł algorytmicznie strukturalnie zupełnych, pozwalających na poprawne wnioskowanie. Duże znaczenie w automatycznym dowodzeniu twierdzeń ma właściwy dobór reguł, dlatego badania rozpoczęto od próby uzasadnienia wyprowadzalności reguł dopuszczalnych w logice algorytmicznej. W publikacji zawarto wyniki badań dotyczące algorytmicznej strukturalnej zupełności logiki algorytmicznej oraz omówiono system automatycznego dowodzenia twierdzeń, w którym pewne relacje czy funkcje mogą być reprezentowane za pomocą programów. Badania przedstawiono w języku umożliwiającym wyrażenie własności programów.

Książka "Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories" - Andrzej Biela - oprawa miękka - Wydawnictwo Uniwersytetu Śląskiego.