{"product_id":"flum-jorg-finite-model-theory-perspectives-in-mathematical-logic","title":"Flum, Jörg Finite Model Theory (Perspectives in Mathematical Logic)","description":"Das Buch 'Finite Model Theory' von Jörg Flum, das Teil der Reihe 'Perspectives in Mathematical Logic' ist, bietet eine umfassende Einführung in die Modelltheorie mit einem besonderen Fokus auf endliche Strukturen. Es untersucht die Unterschiede und Gemeinsamkeiten zwischen klassischer Modelltheorie und ihrer endlichen Variante. Die Autoren behandeln grundlegende Konzepte wie Logiken und deren Ausdrucksstärken, Algorithmen für Entscheidungsprobleme sowie Anwendungen in der Informatik, insbesondere im Bereich der Datenbanken und Komplexitätstheorie. Das Buch richtet sich an fortgeschrittene Studierende und Forschende in Mathematik und theoretischer Informatik, die ein tieferes Verständnis für die logischen Grundlagen endlicher Modelle erlangen möchten.","brand":"Zweitliebe by Studibuch","offers":[{"title":"Default Title","offer_id":57856877658496,"sku":"9783540601494.3","price":29.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0931\/0935\/4880\/files\/1775734432_170116689001_600x600_6b00ae13-f90d-4ea6-9dc1-6b8c1dbd1962.jpg?v=1775892266","url":"https:\/\/zweitliebe.de\/products\/flum-jorg-finite-model-theory-perspectives-in-mathematical-logic","provider":"Zweitliebe by Studibuch","version":"1.0","type":"link"}