Rozhodnuteľnosť logických teórií a ich kombinácia

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.

Pôvodný názov:

Decidability of Logical Theories and Their Combination

Obsah knihy:

Táto učebnica poskytuje samostatný úvod do problematiky rozhodnuteľnosti teórií prvého rádu a ich kombinácie. Odborný materiál je podaný systematicky a univerzálne a ilustrovaný množstvom príkladov a radom navrhovaných cvičení.

Po prehľade základných pojmov logiky prvého rádu autori rozoberajú niektoré modelovo-teoretické pojmy, ako sú vnorenia, diagramy a elementárne subštruktúry. Text potom pokračuje skúmaním použiteľného spôsobu odvodzovania logických dôsledkov z danej teórie a uvádza postačujúce podmienky na to, aby bola teória rozhodnuteľná. Nasledujúce kapitoly sa zameriavajú na elimináciu kvantifikátorov, rozhodnuteľnosť kombinácie teórií prvého rádu a základy teórie vypočítateľnosti.

Zaradenie kapitoly o Gentzenovom kalkule, eliminácii rezov a Craigovej interpolácii, ako aj kapitoly o kombinácii teórií a zachovaní rozhodnuteľnosti pomáha odlíšiť tento zväzok od podobných kníh v tejto oblasti.

Kniha Decidability of Logical Theories and their Combination je ideálna pre postgraduálnych študentov matematiky a je rovnako vhodná pre študentov informatiky, filozofie a fyziky, ktorí majú záujem o hlbšie pochopenie tejto problematiky. Kniha je určená aj vedeckým pracovníkom, ktorí majú v úmysle oboznámiť sa s teóriami prvého rádu a ich kombináciami.