Vážení zákazníci, z důvodu státního svátku není dnes zákaznická podpora k dispozici. Vašim požadavkům se budeme věnovat následující pracovní den. Děkujeme za pochopení.

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Vážení zákazníci, z důvodu státního svátku není dnes zákaznická podpora k dispozici. Vašim požadavkům se budeme věnovat následující pracovní den. Děkujeme za pochopení.

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

R-Calculus, III: Post Three-Valued Logic

Name: R-Calculus, III: Post Three-Valued Logic
Brand: Springer, Berlin
SKU: 39257463
Price: 4002 CZK
Availability: InStock
Author: Wei Li
ISBN: 9789811942693

Wei Li

Yuefei Sui

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 39257463

Nakladatelství Springer, Berlin, listopad 2021

This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is n... Celý popis

Libristo kód: 39257463

400 b

4 002 Kč

Skladem u dodavatele Odesíláme za 10-13 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Make More Love Ann-Marlene Henning

Brožovaná

329 Kč

Racjonalność: co to jest, dlaczego jej brakuje, dlaczego ma znaczenie Steven Pinker

Brožovaná

279 Kč

Think Human: Kundenzentriertes UX-Design Isolde Kommer

Brožovaná

610 Kč

Die kleine Traummischerin, Deutsch-Spanisch, m. Audio-CD. La pequeña creadora de sueños Klaus Baumgart

Pevná

208 Kč

Římané Imke Rudelová

Pevná

148 Kč

Britannia 1. Excalibur ANA ALONSO

Brožovaná

545 Kč

Le voyageur sans bagage/Le bal des voleurs Jean Anouilh

Brožovaná

202 Kč

Ermittlung von Werkstoff- sowie Fertigungskennzahlen für die Konstruktion und Dimensionierung von spritzgegossenen Kunststofferzeugnissen Georg Menges

Brožovaná

1 214 Kč

This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.