| Kiadó: | Janus Pannonius Tudományegyetem |
|---|---|
| Kiadás helye: | Pécs |
| Kiadás éve: | |
| Kötés típusa: | Ragasztott papírkötés |
| Oldalszám: | 60 oldal |
| Sorozatcím: | |
| Kötetszám: | |
| Nyelv: | Magyar |
| Méret: | 24 cm x 17 cm |
| ISBN: | |
| Kijelentéslogika | |
| Kijelentések | 1 |
| A kijelentéslogikai műveletekről általában | 1 |
| A leggyakrabban előforduló kijelentéslogikai műveletek | 2 |
| Kijelentéslogikai formulák | 4 |
| A kijelentéslogikai műveletek tulajdonságai | 5 |
| Néhány megjegyzés a kijelentéslogika műveleteihez | 7 |
| Formulák és értéktáblázatuk. Normálformák | 8 |
| Logikai áramkörök és automaták | 9 |
| A kijelentéslogika következtetései | 12 |
| Predikátumlogika | |
| Kijelentések durva- és finomszerkezete | 17 |
| Predikátumlogikai műveletek | 18 |
| Predikátumlogikai formulák | 20 |
| Érvényes ekvivalenciák és implikációk | 21 |
| Egyrétű formulák | 22 |
| Következtetések a predikátumlogikában | 23 |
| Halmazok | |
| Néhány alapvető fogalom | 25 |
| Műveletek halmazokkal | 27 |
| Relációk | |
| A reláció fogalma és megadásának módjai | 29 |
| Relációk tulajdonságai | 31 |
| Rendezési relációk | 32 |
| Ekvivalenciarelációk. Osztályozás | 34 |
| Leképezések (Függvények) | |
| A leképezés fogalma. Elnevezések, jelölések | 35 |
| Speciális leképezések | 36 |
| Megjegyzések, kiegészítések | 38 |
| Feladatok | |
| Kijelentéslogika | 39 |
| Predikátumlogika | 46 |
| Halmazok | 50 |
| Relációk | 52 |
| Leképezések (Függvények) | 55 |
| Jelölések | 59 |
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