Decidabilitatea teoriilor logice și combinarea lor

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Titlul original:

Decidability of Logical Theories and Their Combination

Conținutul cărții:

Acest manual oferă o introducere de sine stătătoare la decidabilitatea teoriilor de ordinul întâi și la combinarea lor. Materialul tehnic este prezentat într-un mod sistematic și universal și ilustrat cu o mulțime de exemple și o serie de exerciții propuse.

După o prezentare generală a conceptelor de bază ale logicii ordinii întâi, autorii discută unele noțiuni de teorie a modelelor, cum ar fi încorporările, diagramele și substructurile elementare. Textul trece apoi la explorarea unei modalități aplicabile de deducere a consecințelor logice dintr-o teorie dată și prezintă condiții suficiente pentru ca o teorie să fie decidabilă. Capitolele care urmează se concentrează pe eliminarea cuantificatorilor, decidabilitatea combinării teoriilor de ordinul întâi și elementele de bază ale teoriei calculabilității.

Includerea unui capitol privind calculul Gentzen, eliminarea tăieturilor și interpolarea Craig, precum și a unui capitol privind combinarea teoriilor și conservarea decidabilității, contribuie la diferențierea acestui volum de alte cărți similare din domeniu.

Cartea Decidability of Logical Theories and their Combination este ideală pentru studenții absolvenți de matematică și este la fel de potrivită pentru studenții de informatică, filosofie și fizică care sunt interesați să dobândească o înțelegere mai profundă a subiectului. Cartea se adresează, de asemenea, cercetătorilor care intenționează să se familiarizeze cu teoriile de ordinul întâi și combinarea lor.