Bővebb ismertető
Bevezetés
E jegyzet programozó-matematikus hallgatók számára készült. Azokat az alapvető matematikai ismereteket tartalmazza, amelyek a matematika különböző fejezeteinek megértését lehetővé teszik. A feldolgozott anyag bepillantást nyújt a számítástechnika elméleti megalapozását szolgáló matematikai fejezetekbe is.
A jegyzet megírásánál alapoztunk a hallgató középiskolában szerzett ismereteire ís. Ez lehetővé tette egyes anyagrészek tömör kifejtését (pl. kombinatorika), másrészt azt, hogy egyes fogalmakat példaként megemlítsünk, mielőtt még ezek mélyebb kifejtésére rátérnénk így beszélünk az I. Fejezetben valós számok rendezéséről (a középiskolás ismeretekre támaszkodva), mig a valós számok axiomatikus bevezetését a következő fejezetben tárgyaljuk.
A tárgyalt anyagrészeknél több könyvre támaszkodtunk. A IX. Fejezet kifejtése lényegileg E. Mendelson: Introduction to Mathematical Logic cimU könyve alapján történik.