Zur Startseite gehen
0,00 €*
Cover: 9780192867964 | Fragments of First-Order Logic | Ian Pratt-Hartmann | Buch | Gebunden
Dekorationsartikel gehören nicht zum Leistungsumfang.
Fragments of First-Order Logic
Buch von Ian Pratt-Hartmann
Sprache: Englisch

177,50 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
Pratt-Hartmann considers for which fragments of first-order logic there is an effective method for determining satisfiability or finite satisfiability. Furthermore, he asks, if these problems are decidable for some fragment, what is their computational complexity?
Pratt-Hartmann considers for which fragments of first-order logic there is an effective method for determining satisfiability or finite satisfiability. Furthermore, he asks, if these problems are decidable for some fragment, what is their computational complexity?
Über den Autor
Ian Pratt-Hartmann studied mathematics and philosophy at Brasenose College, Oxford, and philosophy at Princeton and Stanford Universities, gaining his PhD from Princeton in 1987. He is currently Senior Lecturer in the Department of Computer Science at the University of Manchester as well as Professor of Mathematical Sciences in the Institute of Computer Science at the University of Opole, and recently held an appointment as Visiting Professor at the Department of Mathematics, Computer Science and Mechanics at the University of Warsaw.
Inhaltsverzeichnis
  • Preface

  • Acknowledgements

  • 1: Introduction

  • Part I: Syntactic Restrictions

  • 2: Roots

  • 3: Variables

  • 4: Guards

  • 5: Prefixes

  • 6: Fluting

  • Part II: Counting Quantifiers

  • 7: Counting with one variable

  • 8: Counting with two variables

  • 9: Guarded counting

  • 10: Omitting graphs

  • Part III: Semantic Constraints

  • 11: Modalities

  • 12: Equivalence

  • 13: Equivalence and counting

  • 14: Transitivity

  • 15: Trees

Details
Erscheinungsjahr: 2023
Fachbereich: Allgemeines
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: Gebunden
ISBN-13: 9780192867964
ISBN-10: 0192867962
Sprache: Englisch
Einband: Gebunden
Autor: Pratt-Hartmann, Ian
Hersteller: Oxford University Press
Maße: 241 x 162 x 38 mm
Von/Mit: Ian Pratt-Hartmann
Erscheinungsdatum: 30.06.2023
Gewicht: 1,256 kg
Artikel-ID: 125915059
Über den Autor
Ian Pratt-Hartmann studied mathematics and philosophy at Brasenose College, Oxford, and philosophy at Princeton and Stanford Universities, gaining his PhD from Princeton in 1987. He is currently Senior Lecturer in the Department of Computer Science at the University of Manchester as well as Professor of Mathematical Sciences in the Institute of Computer Science at the University of Opole, and recently held an appointment as Visiting Professor at the Department of Mathematics, Computer Science and Mechanics at the University of Warsaw.
Inhaltsverzeichnis
  • Preface

  • Acknowledgements

  • 1: Introduction

  • Part I: Syntactic Restrictions

  • 2: Roots

  • 3: Variables

  • 4: Guards

  • 5: Prefixes

  • 6: Fluting

  • Part II: Counting Quantifiers

  • 7: Counting with one variable

  • 8: Counting with two variables

  • 9: Guarded counting

  • 10: Omitting graphs

  • Part III: Semantic Constraints

  • 11: Modalities

  • 12: Equivalence

  • 13: Equivalence and counting

  • 14: Transitivity

  • 15: Trees

Details
Erscheinungsjahr: 2023
Fachbereich: Allgemeines
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: Gebunden
ISBN-13: 9780192867964
ISBN-10: 0192867962
Sprache: Englisch
Einband: Gebunden
Autor: Pratt-Hartmann, Ian
Hersteller: Oxford University Press
Maße: 241 x 162 x 38 mm
Von/Mit: Ian Pratt-Hartmann
Erscheinungsdatum: 30.06.2023
Gewicht: 1,256 kg
Artikel-ID: 125915059
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9780521853682 | Riemannian Geometry | A Modern Introduction | Isaac Chavel | Buch
Riemannian Geometry
A Modern Introduction
EAN: 9780521853682
Sprache: Englisch
Von/Mit: Isaac Chavel

168,95 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9780387965086 | Elliptic Functions | Serge Lang | Buch | Graduate Texts in Mathematics
Elliptic Functions
EAN: 9780387965086
Sprache: Englisch
Von/Mit: Serge Lang

117,69 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781461284758 | Field and Galois Theory | Patrick Morandi | Taschenbuch | Paperback
Field and Galois Theory
EAN: 9781461284758
Sprache: Englisch
Von/Mit: Patrick Morandi

69,54 €*

Aktuell nicht verfügbar

Buch
Cover: 9781493967933 | Amazing and Aesthetic Aspects of Analysis | Paul Loya | Buch | xv
Amazing and Aesthetic Aspects of Analysis
EAN: 9781493967933
Sprache: Englisch
Von/Mit: Paul Loya

72,10 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9789811390999 | Biomedical Signal Processing | Ganesh Naik | Taschenbuch | Paperback
Biomedical Signal Processing
Advances in Theory, Algorithms and Applications
EAN: 9789811390999
Sprache: Englisch
Von/Mit: Ganesh Naik

145,95 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9781487545031 | The Flawed Genius of William Playfair | David R Bellhouse | Buch
The Flawed Genius of William Playfair
The Story of the Father of Statistical Graphics
EAN: 9781487545031
Sprache: Englisch
Von/Mit: David R Bellhouse

71,60 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9789811256646 | Introduction to Matrix Theory | Ferenc Szidarovszky (u. a.) | Buch
INTRO MATRIX THEORY (2ND ED)
EAN: 9789811256646
Sprache: Englisch
Von/Mit: Sandor Molnar & Mar Ferenc Szidarovszky

150,20 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9780721712710 | Mills, S: Written Calculation: Division 2 | Steve Mills (u. a.) | Buch
Mills, S: Written Calculation: Division 2
EAN: 9780721712710
Sprache: Englisch
Von/Mit: Steve Mills (u. a.)

10,35 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9789811261770 | Set Theory and Its Applications in Physics and Computing | Shapira
SET THEORY AND ITS APPLICATIONS IN PHYSICS AND COMPUTING
EAN: 9789811261770
Sprache: Englisch
Von/Mit: Yair Shapira

135,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780367701833 | Structural Equation Modelling with Partial Least Squares Using...
Structural Equation Modelling with Partial Least Squares Using Stata and R
EAN: 9780367701833
Sprache: Englisch
Von/Mit: Mehmet Mehmetoglu (u. a.)

64,50 €*

Aktuell nicht verfügbar

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...