Biela ALGORITHMIC STRUCTURAL COMPLITNESS...nowa

19-01-2012, 14:23
Aukcja w czasie sprawdzania była zakończona.

Cena kup teraz: 6.50 zł

Użytkownik a-l-rowse

numer aukcji: 2034226088

Miejscowość Legnica

Koniec: 13-01-2012, 0:43

Dodatkowe informacje:
Stan: Nowy
Okładka: miękka
Rok wydania (xxxx): 2000
Kondycja: bez śladów używania
Język: polski

O MNIE

SPRZEDAJĘ

MOJE KOMENTARZE

Andrzej Biela
ALGORITHMIC STRUCTURAL COMPLETENESS AND A RETRIEVAL SYSTEM FOR PROVING THEOREMS IN ALGORYTHMIC THEORIES
Wydawnictwo UŚ
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

Szanowni Państwo,
Wszystkie przedmioty, które wystawiam, zaopatrzyłam w zdjęcia, a przy niektórych aukcjach zamieściłam po kilka zdjęć i miniaturki. Jeżeli przy tytule aukcji nie znajdą Państwo aparatu fotograficznego ani miniaturki, będzie to oznaczało "zagubioną" miniaturkę, a nie to, że nie zrobiłam zdjęcia. Znikanie zdjęć jest powodowane nieprawidłowością funkcjonowania serwera Allegro.
W związku z tym uprzejmie proszę wszystkich Państwa, którzy są zainteresowani wystawianymi przez mnie przedmiotami, o zajrzenie na odpowiednie strony w czasie późniejszym.