A matematika néhány filozófiai problémájáról/Matematikai logika

Szerző

Szerkesztő

Lektor

Budapest

'Ruzsa Imre: A matematika néhány filozófiai problémájáról/Matematikai logika ' összes példány

Kiadó:	Tankönyvkiadó Vállalat
Kiadás helye:	Budapest
Kiadás éve:	1966
Kötés típusa:	Félvászon
Oldalszám:	527 oldal
Sorozatcím:	Világnézeti nevelésünk természettudományos alapjai
Kötetszám:	4
Nyelv:	Magyar
Méret:	24 cm x 17 cm
ISBN:
Megjegyzés:	Tankönyvi szám: 91201/IV. Fekete-fehér ábrákkal.

Értesítőt kérek a kiadóról

Értesítőt kérek a sorozatról

A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról

Tartalom

A matematika néhány fiolózófiai problémájáról
Bevezetés	11
Filozófusok - a matematikáról	15
A számfogalom történeti és logikai fejlődése	25
A természetes számok	25
A számkör bővítései	49
Túl a valós számokon	75
A végtelen a matematikában I.	83
Végtelen sorozatok és sorok	83
Függvények folytonossága	105
A "végtelen kicsiny"	117
A végtelen a matematikában II.	133
Végtelen halmazok	133
A rendezett halmazok elmélete	151
Halmazeméleti antinómiák	171
A halmazemélet axiomatikus fölépítéséről	179
A tér és a geometria	191
A mai matematika filozófiája	203
A logicizmus	204
Az intuicionizmus	209
A formalizmus	216
Utószó helyett	221
Irodalomjegyzék	224
Matematikai logika
Bevezetés	227
Ítéletkalkulus	233
Az ítélet fogalma	233
Negáció, konjunkció, diszjunkció	244
A Venn-diagramok	266
Implikáció és ekvivalencia	277
Egyéb egy- és kétváltozós műveletek	294
Az ítéletkalkulus következményfogalma	299
Az osztálykalkulus elemei	315
Normálformák	321
Logikai áramkörök	345
Az ítéletkalkulus axiomatikus fölépítéséről	361
Logikai függvénykalkulus	381
Logikai függvények	381
Műveletek logikai függvényekkel	389
Kvantorok	393
Formulák, ítéletek formalizálás	401
Azonosságok, azonosan igaz formulák	408
Helyettesítés és pótlás, prenex normálalak	423
A függvénykalkulus következményfogalma	431
A matematikai logika alkalmazása a matematikában	448
A függvénykalkulus axiomatikus felépítése	468
Gödel-féle teljességi tétel, Löwenheim-Skolem-tétel, eldöntésprobléma	494
A bizonyításeméletről	500
Feladatmegoldások	511
Irodalomjegyzék	523