Logika in množice : študijsko gradivo

Kot pove že sam naslov, se bomo ukvarjali z (matematično) logiko in z množicami. Gre za koncepte, ki v moderni dobi predstavljajo temelje matematike. Čeprav je morda za marsikoga matematika predvsem računanje, reševanje enačb in geometrijsko načrtovanje, se namreč v matematiki večino časa posvečamo precej drugačnim temam. Bistvo matematike je pravzaprav v odkrivanju novih spoznanj, do katerih se iz začetnih predpostavk in že osvojenega znanja dokopljemo s pomočjo logičnega sklepanja. Na ta način lahko pridemo do rezultatov, ki se jih da koristno uporabiti bodisi pri kakšni drugi matematični teoriji bodisi na drugih področjih znanosti, ne primer v fiziki, strojništvu, računalništvu, biologiji, kemiji ali celo družboslovju. Marsikateri sodobni tehnološki pripomoček je bilo tako mogoče razviti zato, ker je v preteklosti kak matematik prišel do ustreznega odkritja