1.062.486

kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát

A kosaram
0
MÉG
5000 Ft
a(z) 5000Ft-os
szállítási
értékhatárig

Bevezetés a matematikai logikába

Szerző
Szerkesztő
Lektor
Budapest
Kiadó: Nemzeti Tankönyvkiadó Rt.
Kiadás helye: Budapest
Kiadás éve:
Kötés típusa: Ragasztott papírkötés
Oldalszám: 156 oldal
Sorozatcím:
Kötetszám:
Nyelv: Magyar  
Méret: 24 cm x 16 cm
ISBN: 963-18-7547-4
Értesítőt kérek a kiadóról

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

Tartalom

Bevezetés
A logika tárgya9
Kijelentés, logikai érték11
Predikátum13
Összetett kijelentés15
Kijelentéslogika
A negáció17
A konjunkció19
A diszjunkció23
Az implikáció26
Az ekvivalencia28
A kijelentéslogika műveleteiről30
Kijelentéslogikai formulák33
Kijelentéslogikai formulák interpretációja37
Kijelentéslogikai egyenértékű formulák39
A kijelentéslogika következményfogalma40
A matematikai tételek kijelentéslogikai vizsgálata46
Levezetés a kijelentéslogikában49
A klasszikus logika néhány következtetési sémája51
Diszjunktív normálforma53
Logikai áramkörök55
Predikátumlogika
Műveletek predikátumokkal58
Kvantifikáció61
Formalizálás a predikátumlogikában64
Formulák a predikátumlogikában66
Predikátumlogikai formulák interpretációja69
Ekvivalens predikátumlogikai formulák75
A predikátumlogika következményfogalma78
Levezetés a predikátumlogikában82
Példák elsőrendű nyelvre84
Az egyrétű formulák87
A szillogisztikus és a szinguláris következtetések91
Az azonosságpredikátum96
A matematikai logika történetéről99
A hagyományos logika főbb témáiról
A logika tárgyának hagyományos felfogása104
A logika alaptörvényei105
A fogalomról108
Az ítélet elmélete114
A következtetés elmélete116
A megismerés módszerei116
Hipotézis121
Axiomatikus módszer123
Feladatok127
Irodalomjegyzék156
Megvásárolható példányok

Nincs megvásárolható példány
A könyv összes megrendelhető példánya elfogyott. Ha kívánja, előjegyezheti a könyvet, és amint a könyv egy újabb példánya elérhető lesz, értesítjük.

Előjegyzem