žáner:
autor:
vydavateľstvo:
rok vydania:
1979
jazyk:
cz
počet strán:
208
väzba:
Pevná
prebal:
má
stav:
poškodený prebal, vzadu zvyšky po nálepke, venovanie na predsádke
kusov na sklade:
0
Ľutujeme, položka už nie je skladom.
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í, lé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 je určená odborníkom z oblasti matematickej logiky, matematikom, filozofom a všetkým záujemcom o tento odbor.