Základy matematickej logiky

Pôvodný názov:

Fundamentals of Mathematical Logic

Obsah knihy:

Podoblasť matematiky, ktorá sa zameriava na identifikáciu aplikácií formálnej logiky v matematike, je známa ako matematická logika. Je tiež známa ako symbolická logika alebo formálna logika.

Zaoberá sa štúdiom vyjadrovacej a deduktívnej sily formálnych systémov. Medzi formálne logické systémy patrí logika prvého rádu, neklasická a modálna logika, algebraická logika a iné klasické logiky. Táto disciplína sa delí na štyri oblasti.

Sú to teória modelov, teória dôkazov, teória množín a teória rekurzie. Táto oblasť úzko súvisí s teoretickou informatikou a základmi matematiky.

Oblasť nachádza svoje uplatnenie aj v iných disciplínach, ako je fyzika, biológia, ekonómia, metafyzika, právo a morálka a psychológia. Táto kniha skúma všetky dôležité aspekty súvisiace s touto disciplínou v súčasnom scenári.

Sú v nej zahrnuté rôzne prístupy, hodnotenia, metodológie a štúdie o matematickej logike. Keďže táto oblasť sa rozvíja rýchlym tempom, obsah tejto knihy pomôže čitateľom pochopiť moderné koncepcie a aplikácie tohto predmetu.