Lahti, Prof. Corvus Adamas: Luvut ja todistusmenetelmät - Johdanto matematiikan perusteisiin innokkaiden opiskelijoiden seurassa

Kuvitteellinen prof. Corvus Adamas esittelee innokkaille oppilailleen matematiikan periaatteita kuten matemaattista päättelyä ja joukko-oppia. Esitys sujuu johdonmukaisesti alkeista lähtien. Tavanomaiset lukujoukot käsitellään perusteellisesti, mutta aikaa jää myös eksoottisille kvaterneille ja oktoneille. Jännittävät kardinaaliluvut saavat ansaitun sijansa. Pääroolissa ovat matemaattiset todistukset, joita käydään läpi vaihtelevasti ja monipuolisesti. Perinteisten menetelmien ohessa valjastetaan tietokone todistuksien apuvälineeksi. Tuki löytyy kirjaan liittyviltä vapaasti käytettäviltä verkkosivuilta. Kirja sisältää viittauksia ja avainsanoja ilmaiseen järjestelmään WolframAlpha, jonka matemaattiset perusteet opitaan yksintein. Esitystapa on helppotajuista. Sen täsmällisyys vastaa kuitenkin yliopistojen peruskurssien tasoa. Kirja soveltuu opiskelijoille vankaksi pohjaksi korkeakoulujen jatko-opinnoille ja tarjoaa uudenlaistakin tausta-aineistoa matematiikan opettajille.