Logika prvého rádu vydání

Nehodnoceno
Logika prvého rádu
https://www.databazeknih.cz/img/books/20_/206630/logika-prveho-radu-206630.png 0 0 0

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.... celý text

Věda Matematika a logika
Vydáno: , Alfa (SK)
Originální název:

First-order logic, 1968


více info...

Vydání (1)


Logika prvého rádu
Logika prvého rádu

papírová kniha 1979, Alfa (SK)

ISBN: 63-012-79