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ý :-(

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

Modal Logic

Name: Modal Logic
Brand: Cambridge University Press
SKU: 04378522
Price: 2918 CZK
Availability: InStock
Author: Patrick Blackburn
ISBN: 9780521527149

Patrick Blackburn

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 04378522

Nakladatelství Cambridge University Press, srpen 2002

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer sci... Celý popis

Libristo kód: 04378522

292 b

2 918 Kč

Skladem u dodavatele Odesíláme za 14-21 dnů

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

Zákazníci také koupili

Representation and Inference for Natural Language Patrick Blackburn

Brožovaná

783 Kč

Proof-theoretic Semantics Francez

Brožovaná

620 Kč

Where Mathematics Come From Rafael Nunez

Brožovaná

791 Kč

Introduction to Substructural Logics Greg Restall

Brožovaná

1 379 Kč

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Three appendices supply basic background information and numerous exercises are provided. Ideal for anyone wanting to learn modern modal logic.