1.031.431

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

Matematikai logika

Egyetemi jegyzet/Eötvös Loránd Tudományegyetem Természettudományi Kar számára

Szerző

Kiadó: ELTE
Kiadás helye: Budapest
Kiadás éve:
Kötés típusa: Ragasztott papírkötés
Oldalszám: 130 oldal
Sorozatcím:
Kötetszám:
Nyelv: Magyar  
Méret: 24 cm x 17 cm
ISBN:
É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és5
Elsőrendű nyelvek9
Struktúrák, formulák igazsága16
Példák24
A következmény fogalma38
A levezethetőség fogalma47
Modellelméleti alapfogalmak53
A kompaktsági tétel63
Alkalmazások74
Rekurzív függvények94
A levezethetőség aritmetizálása105
Church és Gödel tételei116
Ajánlott irodalom131

Csirmaz László

Csirmaz László műveinek az Antikvarium.hu-n kapható vagy előjegyezhető listáját itt tekintheti meg: Csirmaz László könyvek, művek
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
konyv