O MNIE                                                 SPRZEDAJĘ                                                      MOJE KOMENTARZE  

Proszę o zapoznanie się ze stroną O MNIE (zmiany).

Darmowa wysyłka przy zakupie na kwotę min. 150zł.

Andrzej Biela

ALGORITHMIC STRUCTURAL COMPLETENESS

AND A RETRIEVAL SYSTEM FOR PROVING THEOREMS IN ALGORYTHMIC THEORIES
Katowice 2002, s. 122

Stan: bdb. KSIĄŻKA NOWA.



Charakterystyka Wydawcy:
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.



SPIS ROZDZIAŁÓW:

1. Introduction
2. Basic definitions – p. 23
3. The substitution rule – p. 32
4. Algorythmic structural completeness – p. 55
5. Automated theorem proving – p. 67
6. Theorem proving by decomposition – p. 92
7. Summary and concluding remarks – p. 108
References – p. 113
Streszczenie – p. 119
Peзюме – p. 121