LOGIKA PRVÉHO RÁDU
(First-order logic)
Alfa, Bratislava, 1979
Edícia teoretickej literatúry
preklad Svätoslav Mathé
prebal Jozef Michalač
1. vydanie, 2.500 výtlačkov
63-012-79
veda, matematika
216 s., slovenčina
tvrdá väzba s prebalom
stav: dobrý, pečiatky v knihe, prebal ošúchaný
predané
*bib32*vat-mat*
Prvky modernej matematickej logiky prenikajú čím ďalej tým viac nielen do ostatných matematických disciplín, ale veľmi často sa s nimi v súčasnosti stretneme aj v ďalších vedných odboroch.
Smullyanova kniha sa zaoberá logikou prvého rádu, teda výrokovou logikou a teóriou kvantifikátorov prvého rádu bez identity, ktoré vysvetľuje pomocou metódy analytických tabiel. Táto metóda svojou originalitou a jednoduchosťou umožňuje dokázať platnosť formúl logiky prvého rádu veľmi ľahko a elegantne. Pritom nevzniká dojem, že ide iba o populárny výklad logiky na elementárnej úrovni Naopak, kniha je prísne budovaná formálnymi prostriedkami, s veľkým počtom definícií, tém, teorém a dôkazov. Pri výklade v nej autor využíva veľké množstvo moderných aj starších výsledkov, pričom poukazuje najmä na ich aplikácie. Kniha patrí medzi špičkové diela na svete z tejto oblasti.
Svojím obsahom i formou spracovania kniha zaujme nielen odborníkov — logikov. ale aj tých, ktorí logiku používajú pri svojej práci ako jednu z metód. Veľa materiálu z nej môžu čerpať aj vysokoškolskí pedagógovia a študenti, najmä pri príprave seminárov.
