1.062.486
kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát
Bevezetés a matematikai logikába
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
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
naponta értesítjük a beérkező friss
kiadványokról
Tartalom
| Bevezetés | |
| A logika tárgya | 9 |
| Kijelentés, logikai érték | 11 |
| Predikátum | 13 |
| Összetett kijelentés | 15 |
| Kijelentéslogika | |
| A negáció | 17 |
| A konjunkció | 19 |
| A diszjunkció | 23 |
| Az implikáció | 26 |
| Az ekvivalencia | 28 |
| A kijelentéslogika műveleteiről | 30 |
| Kijelentéslogikai formulák | 33 |
| Kijelentéslogikai formulák interpretációja | 37 |
| Kijelentéslogikai egyenértékű formulák | 39 |
| A kijelentéslogika következményfogalma | 40 |
| A matematikai tételek kijelentéslogikai vizsgálata | 46 |
| Levezetés a kijelentéslogikában | 49 |
| A klasszikus logika néhány következtetési sémája | 51 |
| Diszjunktív normálforma | 53 |
| Logikai áramkörök | 55 |
| Predikátumlogika | |
| Műveletek predikátumokkal | 58 |
| Kvantifikáció | 61 |
| Formalizálás a predikátumlogikában | 64 |
| Formulák a predikátumlogikában | 66 |
| Predikátumlogikai formulák interpretációja | 69 |
| Ekvivalens predikátumlogikai formulák | 75 |
| A predikátumlogika következményfogalma | 78 |
| Levezetés a predikátumlogikában | 82 |
| Példák elsőrendű nyelvre | 84 |
| Az egyrétű formulák | 87 |
| A szillogisztikus és a szinguláris következtetések | 91 |
| Az azonosságpredikátum | 96 |
| A matematikai logika történetéről | 99 |
| A hagyományos logika főbb témáiról | |
| A logika tárgyának hagyományos felfogása | 104 |
| A logika alaptörvényei | 105 |
| A fogalomról | 108 |
| Az ítélet elmélete | 114 |
| A következtetés elmélete | 116 |
| A megismerés módszerei | 116 |
| Hipotézis | 121 |
| Axiomatikus módszer | 123 |
| Feladatok | 127 |
| Irodalomjegyzék | 156 |
Témakörök
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.
Folytatás Microsoft-tal