Gdańsk Politechnika

Narutowicza 11/12

 
 

TWÓJ KOSZYK

Koszyk jest pusty
 
ksiazka tytuł: CERES and Fast Cut-Elimination autor: Rukhaia Mikheil
DOSTAWA WYŁĄCZNIE NA TERYTORIUM POLSKI

FORMY I KOSZTY DOSTAWY
  • 0,00 zł
  • 0,00 zł
  • Od 9,50 zł
  • Od 12,50 zł
  • 0,00 zł
  • 9,90 zł
  • 11,00 zł

CERES and Fast Cut-Elimination

Wersja papierowa
Wydawnictwo: OmniScriptum GmbH & Co. KG
ISBN: 978-36-393-3202-5
Format: 15.2x22.9cm
Liczba stron: 72
Oprawa: Miękka
Wydanie: 2011 r.
Język: angielski

Dostępność: dostępny
324,20 zł 308,00 zł

Gentzen's cut-elimination theorem is one of the most important theorems of logic. Removing cuts from formal proofs corresponds to the elimination of intermediary lemmas from mathematical proofs. It is well known that cut-elimination is of nonelementary complexity in general. Aim of this book is to identify classes, where cut-elimination is elementary, i.e fast. The first part describes basic notions of logic, such as sequent calculus, resolution calculus and two methods of cut-elimination, such as Gentzen's method and the CERES method. It is proved that CERES method nonelementary speeds up Gentzen's method and in the second part CERES will be used as a tool to identify fast classes and prove elementary cut-elimination on them. This book is self-contained and written in easy way, so no preliminary knowledge is required and all people interested in logic and proof theory can read it.

 

Newsletter

Newsletter
Zapisz Wypisz

Klikając "Zapisz" zgadzasz się na przesyłanie na udostępniony adres e-mail informacji handlowych, tj. zwłaszcza o ofertach, promocjach w formie dedykowanego newslettera.

Płatności

Kanały płatności

Księgarnia PWN Gdańsk akceptuje płatności:

  • płatność elektroniczna eCard (karta płatnicza, ePrzelew)
  • za pobraniem - przy odbiorze przesyłki należność pobiera listonosz lub kurier