DARMOWA WYSYŁKA- BEZPIECZNA PŁATNOŚĆ - GWARANCJA ZWROTU PIENIĘDZY Potrzebujesz pomocy?

Herbrand Sequent Extraction

od Bruno Woltzenlogel Paleo - Sprzedaje Dodax EU
Stan: Nowy
218,87 zł
Zawiera podatek VAT, darmowa dostawa
Bruno Woltzenlogel Paleo Herbrand Sequent Extraction
Bruno Woltzenlogel Paleo - Herbrand Sequent Extraction

Podoba Ci się ten produkt? Przekaż dalej!

218,87 zł zawiera VAT
Dostępnych sztuk: 1 Dostępnych tylko 1 sztuk
Dostawa: między 2020-12-04 a 2020-12-08
Sprzedaż i wysyłka: Dodax EU

Opis

Revision with unchanged content. Formal proofs of interesting mathematical theorems are usually too large and full of trivial structural information, and hence hard to understand and analyze. Techniques to extract specific essential information from these proofs are needed. This book describes four algorithms to extract a Herbrand sequent of the end-sequent of proofs written in Gentzen's Sequent Calculus LK for classical First-Order Logic. Within this calculus, we define a Herbrand sequent as a generalization of Herbrand disjunction, and its extraction can be used to summarize the creative information of a formal proof, which lies on the instantiations chosen for the quantifiers. One of these algorithms has been implemented in CERes (Cut-Elimination by Resolution), an automated system for proof transformations and analysis.

Współtwórcy

Autor Bruno Woltzenlogel Paleo

Szczegóły produktu

DUIN 12TQEGHAOCF

GTIN 9783639436808

Język Angielski

Liczba stron 96

Product type Książka w miękkiej okładce

218,87 zł
Na naszej stronie wykorzystujemy pliki cookies, aby strona była jeszcze bardziej funkcjonalna i przyjazna użytkownikowi. Prosimy kliknąć „Akceptuj cookies”! Więcej informacji znajdziesz w Polityce prywatności.