1.117.559
kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát
A matematikai logika és a halmazelmélet elemei
Eger
| Kiadó: | EKF Líceum Kiadó |
|---|---|
| Kiadás helye: | Eger |
| Kiadás éve: | |
| Kötés típusa: | Ragasztott papírkötés |
| Oldalszám: | 136 oldal |
| Sorozatcím: | |
| Kötetszám: | |
| Nyelv: | Magyar |
| Méret: | 23 cm x 16 cm |
| ISBN: | |
| Megjegyzés: | Néhány fekete-fehér ábrával illusztrálva. A könyv 200 példányban jelent meg. |
É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ó
Ez az összeállítás a harmadéves matematika szakos hallgatók számára előírt Halmazelmélet, matematikai logika című tárgy előadásainak anyagát tartalmazza.A főiskolán a matematika szakosok nem... Tovább
Előszó
Ez az összeállítás a harmadéves matematika szakos hallgatók számára előírt Halmazelmélet, matematikai logika című tárgy előadásainak anyagát tartalmazza.A főiskolán a matematika szakosok nem hallgatnak ún. filozófiai logikát, ezért röviden foglalkozunk a hagyományos logika néhány témakörével is.
Felépítésünk alapvetően igazodik a Kossuth Lajos Tudományegyetemen oktatott Matematikai logika, illetve Halmazelmélet című tárgyak tematikájához, de a főiskolai viszonyokhoz, igényekhez igazítva. Részletesebben tárgyaljuk a kijelentés- és predikátumlogikát, alkalmazásaikat; az alaposabb elsajátításhoz szükséges lenne minél több feladat megoldása. Gyakorlati óra hiányában erre csak egyéni munka keretében van lehetőség, ehhez a megoldott mintapéldák, a gyakorlat címszó alatti kidolgozott feladatok adnak segítséget. (Feladatok találhatók az irodalomjegyzékben felsorolt könyvekben.) Vissza
Tartalom
| Előszó | 4 |
| A halmazelmélet és a matematikai logika kialakulása, fejlődése | 5 |
| Bevezetés a különböző matematikai logikai nyelvek elméletébe | 14 |
| Az elsőrendű nyelvek, szintaktikai fogalmak | 23 |
| A nyelv szemantikája, igazságértékelés | 30 |
| Logikai törvények, Boole-kombinációk, a kijelentéslogika nyelve | 41 |
| A tiszta predikátumlogika nyelve, a logikai törvények alkalmazása | 54 |
| Logikai következmény | 63 |
| Predikátumkalkulus, a természetes levezetés technikája | 73 |
| Formális axiomatikus elméletek | 83 |
| A naiv halmazelmélet nyelve, antinómiák a naiv halmazelméletben | 94 |
| A Zermelo-Fraenkel-féle axiomatikus elmélet | 104 |
| Relációk és függvények, a természetes számok | 111 |
| Rendszámok, számosságok | 120 |
| A bizonyításelmélet fő problémái | 130 |
| Irodalom | 134 |
| Jelölések | 135 |
Dr. Sashalminé Kelemen Éva
Dr. Sashalminé Kelemen Éva műveinek az Antikvarium.hu-n kapható vagy előjegyezhető listáját itt tekintheti meg: Dr. Sashalminé Kelemen Éva könyvek, művekMegvá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