Logika prvého rádu bazar

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...

Bazar (1)

Logika prvého rádu 650 Kč + 100 doprava

lehce opotřebovaná

knižátko
prodejce