Következő: Valószínűségszámítás és matematikai statisztika Fel: Tantárgyleírások Előző: Differenciálegyenletek

Halmazelmélet és matematikai logika

Tantárgyfelelős neve: Tantárgyfelelős beosztása:

Dr. Varecza Árpád főiskolai tanár a mat. tud. kandidátusa

Szak: Matematika Félév: 6.

Óraszám 30 elõadás+15 gyakorlat Számonkérés: vizsga+gyakorlati jegy

A tárgy tartalma: Számosságok, műveletek számosságokkal. Rendezett és jólrendezett halmazok, rendszám. Jólrendezési tétel. Paradoxonok. A halmazelmélet Zermelo-Frankel féle axiómarendszere.

Logikai alapfogalmak. Ítéletkalkulus, függvénykalkulus és ezek következményfogalma. Axiómarendszer, interpretáció, modell. Ellentmondásmentesség. Gödel tételei.

Kötelező irodalom:
Szendrei J.: Algebra és számelmélet (Tankönyvkiadó, több kiadásban)
Szendrei G.-Tóth B.: Logika (Tankönyvkiadó, főiskolai jegyzet)
Kalmár L.: A matematika alapjai (egyetemi jegyzet)

Ajánlott irodalom:
Szász G.: Az axiomatikus módszer (Tankönyvkiadó, 1972)
Urbán J.: Matematikai logika (Műszaki, 1983)