Higher Order Logic Theorem Proving and Its Applications

Name: Higher Order Logic Theorem Proving and Its Applications
SKU: 9274666
Price: 21.61 PLN
Availability: InStock
Author: Jeffrey J. Joyce

Jeffrey J. Joyce

brak ocen

Rok wydania: 1993 Wydawnictwo: Springer Verlag » Rodzaj okładki: Miękka Wymiar: 17x24cm Ilość stron: 517 Waga: 0.69 kg TIN: T06598389 Stan: Używana

Stan egzemplarza: Widoczne ślady użytkowania

Obwoluta/Oprawa: z naklejkami / śladami taśmy

Inne: adnotacje biblioteczne / pieczątki

cena: 27,00 zł 21,61 zł

Najniższa cena z 30 dni: 21,61 zł

dodaj do listy życzeń

Higher Order Logic Theorem Proving and Its Applications - Jeffrey J. Joyce

The LCF system provides a logic of fixed point theory and is useful to reason about nontermination, recursive definitions and infinite-valued types such as lazy lists. Because of continual presence of bottom elements, it is clumsy for reasoning about finite-valued types and strict functions. The HOL system provides set theory and supports reasoning about finite-valued types and total functions well. In this paper a number of examples are used to demonstrate that an extension of HOL with domain theory combines the benefits of both systems. The examples illustrate reasoning about infinite values and nonterminating functions and show how domain and set theoretic reasoning can be mixed to advantage. An example presents a proof of correctness of a recursive unification algorithm using well-founded induction.

DOSTAWA

Staramy się, aby Twoje książki dotarły do Ciebie jak najszybciej. Zamówienia złożone i opłacone do godziny 10:00 wysyłamy jeszcze tego samego dnia.

FORMY DOSTAWY

Wszystkie nasze paczki bezpiecznie i szybko dostarcza InPost. Masz do wyboru:

InPost Paczkomat 24/7 - 13,99 zł (Dostawa 1-2 dni robocze)
InPost Kurier - 13,99 zł (Dostawa 1-2 dni robocze)
InPost Kurier za pobraniem - 27,99 zł (Dostawa 1-2 dni robocze)
MiniPaczka InPost - 9,00 zł (Dostawa w następny dzień roboczy)

DARMOWA DOSTAWA

Dla wszystkich zamówień o wartości powyżej 199 zł dostawa jest całkowicie darmowa!

FORMY PŁATNOŚCI

Za swoje zamówienie możesz zapłacić w wygodny dla Ciebie sposób:

Szybkie płatności online - Przelewy24 (DotPay) – szybki i bezpieczny przelew z Twojego banku, płatność kartą płatniczą, PayPal lub płatność BLIK.
Przelew tradycyjny – dane do przelewu otrzymasz w mailu potwierdzającym zamówienie.
Płatność przy odbiorze gotówką lub kartą

(Uwaga: w przypadku płatności PayPal należy wpisać e-mail odbiorcy: sklep@tezeusz.pl)

Nie dodano jeszcze żadnej opinii.

brak ocen

Musisz być zalogowanym użytkownikiem, aby dodawać opinie o produktach.

ZALOGUJ SIĘ