Menu
Află starea comenzii
Contactați-ne
Carte Finite Model Theory Heinz-Dieter Ebbinghaus

Finite Model Theory

Autor: Heinz-Dieter Ebbinghaus, Jörg Flum
Limbă: engleză
Legare: Copertă tare
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern
Expediem în 10-18 zile
1 007.77 lei
Finite model theory has roots in classical model theory, but owes its systematic development to rese...

Informații despre carte

Autor
Heinz-Dieter Ebbinghaus, Jörg Flum
Limbă
engleză
Legare
Carte - Copertă tare
Publicat
2005
Pagini
360
EAN
9783540287872
ISBN
3540287876
Enbook ID
01561114
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
1550
Dimensiuni
155 x 235 x 27

Descriere completă

Finite model theory has roots in classical model theory, but owes its systematic development to research from complexity theory and database theory. The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, optimization and approximation problems.§

S-ar putea să te intereseze

Recursion Theory Week

Heinz-Dieter Ebbinghaus
276.22 lei

d-d Excitations in Transition-Metal Oxides

Bärbel Fromme
296.78 lei

White Rose Maths Practice Journals Year 3 Workbook: Single Copy (Paperback)

Caroline Hamilton
47.66 lei

Tokyo Jazz Joints

Philip Arneill
215.96 lei

Beyond Order

Jordan B. Peterson
56.83 lei

21st Century Boys: The Perfect Edition, Vol. 1

Naoki Urasawa
98.05 lei

The Speech of the Right Hon. George Canning, Volume 4...

George Canning
143.30 lei

Ancient Encounters: Kennewick Man and the First Americans

James C. Chatters
92.30 lei

The Prediabetes Diet Plan

Hillary Wright
73.26 lei

Uniforms of the Waffen-SS: Vol 2

Michael D. Beaver
308.07 lei

Feral Sins

Suzanne Wright
57.33 lei

face2face Elementary Workbook with Key

Chris Redston
71.34 lei

Innovation in Technologies

Rupa Pal
415.90 lei

Soul of an Octopus

Sy Montgomery
52.90 lei

Blue Exorcist, Vol. 10

Kazue Kato
45.54 lei

Thorgal Vol.12: the Brand of the Exiles

Van Hamme
35.87 lei

Clienții care au cumpărat această carte au mai cumpărat și

Asphalt Massaka 3

Farid Bang
128.38 lei

MOLINS DEL COLLSACABRA

FRANCESC ROMA I CASANOVAS
91.50 lei

GeschGehG

Thomas Hoeren
622.49 lei

principle of planetary revolution and rotation

Liu Dongfeng Liu
83.13 lei

1000 kaunist paika, kust leida vaikust ja rahu

312.30 lei