Mohlo by sa vám tiež páčiť

Informovať o naskladnení knihy

Viac informácií o knihe Temporal Logic: Volume 1

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 1191 bodov

Anotácia knihy

This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science. The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. Much of the research presented here is frontline in the new results and in the unifying methodology. This is an indispensable reference work for both the pure logician and the theoretical computer scientist.

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations

• Celý názov: Temporal Logic: Volume 1
• Autor: Dov M. Gabbay, I.D. Hodkinson, Mark Reynolds, etc.
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 668
• EAN: 9780198537694
• ISBN: 0198537697
• ID: 04527498
• Nakladateľ: Oxford University Press
• Hmotnosť: 1214 g
• Rozmery: 246 × 163 × 44 mm
• Dátum vydania: 21. July 1994

Obľúbené z iného súdka

---

---

---