0,00 EUR
0 ks
Zoznamy ...
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.
Viac autorov
Müller Fritz
Medek V. a kol.
Peller František a kol.
Bakytová H.
Gartner a kol.
Maxian Milan
Fecenko J. Pinda Ľ.
Klůfa Jindřich
Trenčanský I. a kol.
Štalmašek J.
Kolektív autorov
Neváhajte nás kontaktovať s akoukoľvek otázkou pomocou formulára alebo na telefónnom čísle: +421 918 656 488
▪ Kontaktné údaje
▪ O nás
▪ ciernenabielom@gmail.com
▪ facebook@ciernenabielom
▪ instagram#ciernenabielom
© 2024 ČIERNE NA BIELOM
web by niw.sk