Shortcuts
Bitte warten Sie, bis die Seite geladen ist.
 
PageMenu- Hauptmenü-
Page content

Katalogdatenanzeige

Fragments of first-order logic

Fragments of first-order logic
Kataloginformation
Feldname Details
Vorliegende Sprache eng
ISBN 978-0-19-286796-4
Name Pratt-Hartmann, Ian ¬[VerfasserIn]¬
T I T E L Fragments of first-order logic
Verlagsort Oxford
Verlag Oxford University Press
Erscheinungsjahr 2023
2023
Umfang 1 online resource (xi, 650 pages).
Reihe Oxford logic guides ; 56
Notiz / Fußnoten Also issued in print: 2023. - Includes bibliographical references and index. - Description based on online resource; title from PDF title page (viewed on May 22, 2023)
Titelhinweis Erscheint auch als (Druck-Ausgabe)ISBN: 978-0-19-286796-4
ISBN ISBN 978-0-19-196006-2 ebook
Klassifikation 511.3
Kurzbeschreibung A sentence of first-order logic is satisfiable if it is true in some structure, and finitely satisfiable if it is true in some finite structure. The question arises as to whether there exists an algorithm for determining whether a given formula of first-order logic is satisfiable, or indeed finitely satisfiable. This question was answered negatively in 1936 by Church and Turing (for satisfiability) and in 1950 by Trakhtenbrot (for finite satisfiability). In contrast, the satisfiability and finite satisfiability problems are algorithmically solvable for restricted subsets of first-order logic, a fact which is today of considerable interest in Computer Science. This book provides an up-to-date survey of the principal axes of research, charting the limits of decision in first-order logic and exploring the trade-off between expressive power and complexity of reasoning.
SWB-Titel-Idn 187789835X
Signatur E-Book Oxford EBS
Bemerkungen Elektronischer Volltext - Campuslizenz
Elektronische Adresse $uhttps://doi.org/10.1093/oso/9780192867964.001.0001
Internetseite / Link Resolving-System
.
ISBD-Anzeige Katalogdatensatz500419701
.
Kategorien-Anzeige Katalogdatensatz500419701
.
Verwandte Werke Katalogdatensatz500419701
.
Titel zur Titelsammlung hinzufügen Katalogdatensatz500419701
.
Kataloginformation500419701 Datensatzanfang . Kataloginformation500419701 Seitenanfang .
Titel vormerken Katalogdatensatz500419701
Vollanzeige Katalogdaten 

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche