kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát
Kiadó: | Gondolat Kiadó |
---|---|
Kiadás helye: | Budapest |
Kiadás éve: | |
Kötés típusa: | Varrott papírkötés |
Oldalszám: | 225 oldal |
Sorozatcím: | Stúdium Könyvek |
Kötetszám: | 27 |
Nyelv: | Magyar |
Méret: | 18 cm x 13 cm |
ISBN: | |
Előszó | 3 |
Történeti áttekintés | 7 |
A logikai algebra történeti rendszerei | 27 |
George Boole | 27 |
Ernst Schroeder | 48 |
P. Sz. Poreckij | 49 |
I. I. Zsegalkin | 95 |
A matematikai logika és a matematika alapjai | 122 |
Előismeretek | 122 |
A matematikai logika a matematika alapjainak formalizálásával kapcsolatos munkákban | 137 |
A kijelentéskalkulus | 140 |
A logikai kifejezések normálformára való visszavezetése | 150 |
A kizárt harmadik elve | 162 |
Az intuicionista és konstruktív irányzat a matematikai logikában | 175 |
Általános tájékoztatás | 175 |
Rekurzív függvények | 181 |
A Turing-féle gép | 188 |
Megjegyzések és kiegészítések | 200 |
A matematikai logika mint a megismerés eszköze | 200 |
Kiegészítés a kizárt harmadik elvének kérdéséhez | 216 |
A matematikai logika és a dialektikus logika viszonyáról | 218 |
A könyvben alkalmazott néhány matematikai fogalom magyarázata | 220 |
Irodalom | 223 |