Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
Katalogdatenanzeige
Katalogdatenanzeige
Fragments of first-order logic
.
Bookmark für diesen Satz setzen
Katalogdatensatz500419701
.
.
Wikipedia-Verfasserlink
.
.
LibraryThing
.
Kataloginformation
Katalogdatensatz500419701
.
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
Suche nach