Niko Prijatelj: OSNOVE MATEMATIČNE LOGIKE

1. del: Simbolizacija

Osnove matematične logike - 1. del

Zbirka: Knjižnica Sigma (številka 33)
Leto izida: 1992 (4. natis)

Obseg: 168 strani
Izvedba: 14 × 20 cm, mehka vezava
Cena: 1.500 SIT (6,26 EUR)

Zbirka:	Knjižnica Sigma (številka 33)
Leto izida:	1992 (4. natis)
Obseg:	168 strani
Izvedba:	14 × 20 cm, mehka vezava
Cena:	1.500 SIT (6,26 EUR)

Kazalo

Predgovor
Uvod
Povezave izjav
Notranja zgradba izjav
Uporabljena literatura
Stvarno kazalo

O knjigi

Kot izvemo iz avtorjevega uvoda, je svoje delo Uvod v matematično logiko, ki je doživelo tri izdaje (1960, 1969 in 1973), nadomestil s celovitejšim delom Osnove matematične logike. Prvi del nosi podnaslov Simbolizacija, v zbirki Matematika pa sta izšla še drugi del s podnaslovom Formalizacija in tretji del s podnaslovom Aplikacija. Namen dela je seznaniti bralca s teorijami prvega reda, ki predstavljajo jedro matematične logike in obenem njen, v matematiki najbolj uporabljen del.

V Simbolizaciji naj bi se bralec postopoma seznanil z osnovnimi prvinami jezikov prvega reda (izjave, izjavne povezave, notranja zgradba povezav), pa tudi z zgodovino logike in nekaterimi vprašanji bolj filozofske narave. Večina pojmov je podrobno razložena in podprta s številnimi zgledi.

Simbolizacija je prijetno napisana in, za matematično knjigo, lahko berljiva. Zaradi vsebine je knjiga nedvomno dobrodošla širšemu krogu bralcev.

[Iz predstavitve knjige v reviji Presek 10]