Értékelés:
Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.
Decidability of Logical Theories and Their Combination
Ez a tankönyv önálló bevezetést nyújt az elsőrendű elméletek eldönthetőségébe és azok kombinációjába. A szakmai anyagot szisztematikusan és univerzálisan mutatja be, és rengeteg példával és számos javasolt feladattal illusztrálja.
Az elsőrendű logika alapfogalmainak áttekintése után a szerzők néhány modellelméleti fogalmat tárgyalnak, mint például a beágyazások, a diagramok és az elemi alstruktúrák. A szöveg ezután egy alkalmazható módját vizsgálja annak, hogy egy adott elméletből logikai következményeket vonjunk le, és elegendő feltételeket mutat be ahhoz, hogy egy elmélet eldönthető legyen. Az ezt követő fejezetek a kvantoreliminációval, az elsőrendű elméletek kombinációjának eldönthetőségével és a kiszámíthatósági elmélet alapjaival foglalkoznak.
A Gentzen-számításról, a vágáseliminációról és a Craig-interpolációról szóló fejezet, valamint az elméletek kombinációjáról és a dönthetőség megőrzéséről szóló fejezet beillesztése segít abban, hogy ez a kötet megkülönböztesse ezt a kötetet a terület hasonló könyvei közül.
A Logikai elméletek eldönthetősége és kombinációjuk ideális a matematika végzős hallgatói számára, de ugyanúgy alkalmas az informatika, a filozófia és a fizika szakos hallgatók számára is, akik a téma mélyebb megértése iránt érdeklődnek. A könyv olyan kutatóknak is szól, akik az elsőrendű elméletekkel és azok kombinációjával kívánnak megismerkedni.
