Yde Venema: Modal Logic | Taschenbuch | preigu

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Cover: 9780521527149 | Modal Logic | Yde Venema | Taschenbuch | Paperback | Englisch | 2011

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

110,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

This modern, advanced textbook on modal logic is intended both for novices and for more experienced readers. The two distinct tracks through the work are clearly signposted at the start of each chapter. The book assumes a prior acquaintance with first-order logic and its semantics and a familiarity with the basic mathematical notions of set theory. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including algorithmic and algebraic aspects. Applications to issues in logic and computer science such as completeness, computability and complexity are also considered. The work is a must for anyone interested in modal logic.

This modern, advanced textbook on modal logic is intended both for novices and for more experienced readers. The two distinct tracks through the work are clearly signposted at the start of each chapter. The book assumes a prior acquaintance with first-order logic and its semantics and a familiarity with the basic mathematical notions of set theory. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including algorithmic and algebraic aspects. Applications to issues in logic and computer science such as completeness, computability and complexity are also considered. The work is a must for anyone interested in modal logic.

Inhaltsverzeichnis

1. Basic concepts; 2. Models; 3. Frames; 4. Completeness; 5. Algebras and general frames; 6. Computability and complexity; 7. Extended modal logic.

Details

Erscheinungsjahr:	2011
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Seiten:	578
Inhalt:	Kartoniert / Broschiert
ISBN-13:	9780521527149
ISBN-10:	0521527147
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Venema, Yde
Hersteller:	Cambridge University Press
Maße:	229 x 152 x 34 mm
Von/Mit:	Yde Venema
Erscheinungsdatum:	14.10.2011
Gewicht:	0,927 kg

preigu-id: 102664712

Inhaltsverzeichnis

1. Basic concepts; 2. Models; 3. Frames; 4. Completeness; 5. Algebras and general frames; 6. Computability and complexity; 7. Extended modal logic.

Details

Erscheinungsjahr:	2011
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Seiten:	578
Inhalt:	Kartoniert / Broschiert
ISBN-13:	9780521527149
ISBN-10:	0521527147
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Venema, Yde
Hersteller:	Cambridge University Press
Maße:	229 x 152 x 34 mm
Von/Mit:	Yde Venema
Erscheinungsdatum:	14.10.2011
Gewicht:	0,927 kg

preigu-id: 102664712

Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9783486238969 | FORTRAN 90 Kurs technisch orientiert | Günter Schmitt | Taschenbuch

Fortran 90 Kurs - technisch orientiert

Einführung in die Programmierung mit Fortran 90

EAN: 9783486238969

Sprache: Deutsch

Von/Mit: Günter Schmitt

34,95 €*

Lieferzeit 1-2 Wochen

Broschüre

Cover: 9783946641001 | StrandMathe Lösungsheft zu Übungsheften Klasse 5-10: Lösungswege -...

StrandMathe Lösungsheft zu Übungsheften Klasse 5-10: Lösungswege - Rechenschritte - Erklärungen

Ausführliche Lösungswege zu den sechs Übungsheften der Sekundarstufe 1

EAN: 9783946641001

Sprache: Deutsch

Von/Mit: Christian Hotop (u. a.)

Maße: 294 x 207 x 7 mm

9,95 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783127334692 | Lambacher Schweizer Mathematik 6. Klassenarbeitstrainer....

Lambacher Schweizer Mathematik 6. Klassenarbeitstrainer. Schülerheft mit Lösungen Klasse 6. Ausgabe Nordrhein-Westfalen

EAN: 9783127334692

Sprache: Deutsch

Maße: 297 x 212 x 12 mm

11,50 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783582202468 | Übungsbuch mit eingetragenen Lösungen Mathematik und Fachrechnen

Übungsbuch mit eingetragenen Lösungen Mathematik und Fachrechnen

EAN: 9783582202468

Sprache: Deutsch

Von/Mit: Ulf Bechinger (u. a.)

Maße: 294 x 207 x 15 mm

25,95 €*

Lieferzeit 1-2 Werktage

Buch

Cover: 9783836272773 | Kotlin | Michael Kofler | Buch | Rheinwerk Computing | Deutsch | 2020

Das umfassende Handbuch. Über 800 Seiten Kotlin-Wissen mit zahlreichen Beispielen aus der Entwicklerpraxis

EAN: 9783836272773

Sprache: Deutsch

Von/Mit: Michael Kofler

49,90 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781680456875 | Make: Electronics | Charles Platt | Taschenbuch | Englisch | 2021

Make: Electronics

Learning by Discovery: A hands-on primer for the new electronics enthusiast

EAN: 9781680456875

Sprache: Englisch

Von/Mit: Charles Platt

30,40 €*

Lieferzeit 1-2 Werktage

Buch

Cover: 9783836281461 | Flutter und Dart | Marc Marburger | Buch | Rheinwerk Computing | 2021

Flutter und Dart

Das umfassende Handbuch für die professionelle App-Entwicklung

EAN: 9783836281461

Sprache: Deutsch

Von/Mit: Marc Marburger

39,90 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9780137645541 | Android Programming | The Big Nerd Ranch Guide | Bryan Sills (u. a.)

Android Programming

The Big Nerd Ranch Guide

EAN: 9780137645541

Sprache: Englisch

Von/Mit: Bryan Sills (u. a.)

50,50 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9780141987491 | Statistics without Tears | An Introduction for Non-Mathematicians

Statistics without Tears

An Introduction for Non-Mathematicians

EAN: 9780141987491

Sprache: Englisch

Von/Mit: Derek Rowntree

16,15 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Neu

Cover: 9781098138714 | Fluent React | Build Fast, Performant, and Intuitive Web Applications

Build Fast, Performant, and Intuitive Web Applications

EAN: 9781098138714

Sprache: Englisch

Von/Mit: Tejas Kumar

58,90 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781032475370 | Spherical Geometry and Its Applications | Marshall Whittlesey | Buch

Spherical Geometry and Its Applications

EAN: 9781032475370

Sprache: Englisch

Von/Mit: Marshall Whittlesey

62,40 €*

Lieferzeit 1-2 Wochen