kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát
Kiadó: | Tankönyvkiadó |
---|---|
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 17 cm |
ISBN: | |
Az alternáló (kétértékű) logika tárgya | 3 |
Kijelentéskalkulus | 10 |
A kijelentések durva szerkezetének elemzése | 10 |
A negáció | 11 |
A konjunkció | 13 |
Az alternáló kijelentéskalkulus műveletének fogalma | 18 |
A negáció és a konjunkció néhány kombinációja | 20 |
A diszjunkció | 23 |
Implikáció | 27 |
Ekvivalencia és kizáró "vagy" | 37 |
Formalizálás és interpretáció | 41 |
A kijelentéskalkulus következményfogalma | 44 |
A kijelentéskalkulus nevezetesebb következtetései sémái | 50 |
Osztálykalkulus | 53 |
Predikátumok és osztályok | 53 |
Műveletek osztályokkal | 56 |
Az osztálykalkulus alkalmazása fogalmak kapcsolatainak ábrázolására | 62 |
Kijelentések formalizálása az osztálykalkulusban | 66 |
Következtetések az osztálykalkulusban | 75 |
Kombinált következtetések: kitekintés | 85 |
Predikátumkalkulus | 93 |
Többargumentumu predikátumok | 93 |
Kvantorok | 98 |
A predikátumkalkulus alapfogalmai | 106 |
Következtetések a predikátumkalkulusban | 111 |
Az azonosság formalizálása | 117 |
Áttekintő megjegyzések | 128 |
Függelék: A normák logikája (Deóntikus logika) | 133 |
A deóntikus logika fogalma | 133 |
Az aktusok algebrája | 136 |
A deóntikus logika alaptörvényei | 140 |
Néhány deóntikus tétel | 146 |
A feltételes kötelezés | 150 |
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.