Fragments of First-Order Logic (Bog, Hardback, Engelsk) af Ian (Senior Lecturer Pratt-Hartmann
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Matematisk modellering
  6. Matematikkens fundament
  7. Fragments of First-Order Logic

Fragments of First-Order Logic

(Bog, Hardback, Engelsk)
Forfatter: Ian (Senior Lecturer Pratt-Hartmann
Fragments of First-Order Logic
Forlag: Oxford University Press

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematikkens fundament Matematisk logik Matematisk modellering
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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?

Læsernes anmeldelser (0)

Alle detaljer

Forlag Oxford University Press
Forfatter Ian (Senior Lecturer Pratt-Hartmann
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 30-03-2023
Første udgivelsesår 2023
Serie Oxford Logic Guides
Originalsprog United Kingdom
Sideantal 672
Indbinding Hardback
Forlag Oxford University Press
Sideoplysninger 672 pages
Mål 166 x 242 x 37
ISBN-13 / EAN-13 9780192867964