Mohlo by se vám také líbit

Více informací o knize The Logic of Information Structures

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 168 bodů

Anotace knihy

This monograph gives a logical treatment of two centralaspects of the concept of information, namely informationprocessing and information structure. The structure ofinformation is treated as a topic in model theory, whileinformation processing is seen as an aspect of proof theory.§A wide spectrum of substructural subsystems ofintuitionistic propositional logic and of Nelson'sconstructive logic with strong negation is investigated. Inparticular, the problems of cut-elimination, functionalcompleteness, and coding of proofs with lambda-terms arehandled. Finally, an interpretation of these systems interms of states of information and operations over thesestates is presented.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Artificial intelligence

• Plný název: The Logic of Information Structures
• Autor: Heinrich Wansing
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 168
• EAN: 9783540567349
• ISBN: 3540567348
• ID: 05274311
• Nakladatelství: Springer, Berlin
• Hmotnost: 242 g
• Rozměry: 234 × 156 × 9 mm
• Rok vydání: 1993

Oblíbené z jiného soudku

---

---

---