Kontakt
Kako kupovati
Dostava
Savjetnik za kupnju
CERES and Fast Cut-Elimination
Engleski
115 b
Do 30 dana za povrat
Kupci su kupili i
/
Meki uvez
20.31
€
/
Tvrdi uvez
11.01
€
/
Meki uvez
66.61
€
/
Meki uvez
17.07
€
/
Meki uvez
53.06
€
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.
Informacije o knjizi
Engleski
Kategorija
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimcaMoglo bi vas zanimati i
/
Adobe ePub DRM
3.12
€
Dobar dan! Ja sam Libroamiko, vaš književni savjetnik.
Kako vam mogu pomoći?