1.055.566
kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát
Szimbolikus logika I.
Eötvös Loránd Tudományegyetem Bölcsészettudományi kar - Klasszikus kétértékű logika/Kézirat
| Kiadó: | Tankönyvkiadó Vállalat |
|---|---|
| Kiadás helye: | Budapest |
| Kiadás éve: | |
| Kötés típusa: | Ragasztott papírkötés |
| Oldalszám: | 201 oldal |
| Sorozatcím: | |
| Kötetszám: | |
| Nyelv: | Magyar |
| Méret: | 24 cm x 17 cm |
| ISBN: | |
| Megjegyzés: | Kézirat. 105 példányban jelent meg. 42 fekete-fehér ábrával illusztrálva. Tankönyvi szám: J2-919. |
É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
Előszó
Mivel foglalkozik a szimbolikus logika?A címben felvetett kérdést megválaszolni maga a jegyzet egésze hivatott. E helyen csak arra vállalkozhatunk, hogy előzetes képet, megközelítő leírást adjunk... Tovább
Előszó
Mivel foglalkozik a szimbolikus logika?A címben felvetett kérdést megválaszolni maga a jegyzet egésze hivatott. E helyen csak arra vállalkozhatunk, hogy előzetes képet, megközelítő leírást adjunk arról, hogy miről lesz szó a továbbiakban. A szimbolikus logika egyes fejezeteinek ismertetése után ismét vissza fogunk térni a logika tárgyára és az e kérdéssel kapcsolatos vitákra.
Vitákról fogunk szólni, mert azon tudomány tárgyának, határainak, amellyel ez a jegyzet foglalkozik, nincs általánosan elfogadott meghatározása. Abban azonban többé-kevésbé egyetértenek a tudósok, hogy a szimbolikus logika központi feladata a következtetések logikai elemzése. Vissza
Tartalom
| Útmutató a jegyzet használatához | 7 |
| Bevezetés. Mivel foglalkozik a szimbolikus logika? | 9 |
| Gyakorlatok | 16 |
| Kijelentéslogika | 18 |
| Kijelentéslogikai műveletek | 18 |
| Gyakorlatok | 28 |
| Az igazságfüggvények összes lehetséges fajtáiról | 30 |
| Gyakorlatok | 35 |
| Azonosságok | 36 |
| Gyakorlatok | 39 |
| Kielégíthető, kielégíthetetlen és érvényes formulák | 41 |
| Néhány nevezetes kijelentéslogikai következtetési eljárás | 43 |
| Gyakorlatok | 49 |
| Következtetések helyességének vizsgálata táblázatos módszerrel | 50 |
| Gyakorlatok | 56 |
| Következmények keresése adott premisszákból | 57 |
| Gyakorlatok | 61 |
| A következményfogalomról | 61 |
| Az áramkörök logikája | 63 |
| Gyakorlat | 69 |
| Osztálylogika | 70 |
| Az osztálylogika alapfogalmai | 70 |
| Gyakorlatok | 74 |
| Matematikai segédeszközök | 74 |
| Gyakorlatok | 83 |
| Műveletek predikátumokkal és osztályokkal | 84 |
| Gyakorlatok | 86 |
| Fogalmak közötti kapcsolatok ábrázolása az osztálylogikában | 86 |
| Gyakorlat | 90 |
| Kvantifikált kijelentések ábrázolása az osztálylogikában | 90 |
| Gyakorlatok | 94 |
| A kategorikus kijelentések közötti viszonyok | 95 |
| Gyakorlatok | 100 |
| Következtetések az osztálylogikában. A kategorikus szillogizmusok | 100 |
| Gyakorlatok | 111 |
| Szinguláris terminusok | 112 |
| Gyakorlatok | 114 |
| Az osztálylogika korlátai | 115 |
| Predikátumlogika | 116 |
| A predikátum fogalmának általánosítása | 116 |
| Gyakorlatok | 120 |
| A predikátorlogika alapfogalmai | 121 |
| Gyakorlatok | 129 |
| A predikátumlogika formalizált nyelve | 130 |
| Gyakorlat | 138 |
| Kijelentések formalizálása a predikátumlogikában | 138 |
| Gyakorlatok | 154 |
| Az interpretáció fogalma a predikátumlogikában | 155 |
| Gyakorlatok | 164 |
| Analitikus táblázatok | 164 |
| Gyakorlatok | 180 |
| Az eldöntésprobléma | 181 |
| Gyakorlatok | 195 |
| Megjegyzések a gyakorlatokhoz | 197 |
| Névmutató | 199 |
| Irodalomjegyzék | 200 |
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