Univerza na Primorskem
Fakulteta za matematiko, naravoslovje in informacijske tehnologije
Vljudno vabljeni na šesto letošnje predavanje z naslovom
Sreda, 19. april 2023, ob 18.00
predavanje bo potekalo v Veliki predavalnici 3, UP FAMNIT in
preko videokonferenčne povezave ZOOM
Predavala bo Dr. Katja Berčič, UL FMF
Kot vsi vemo, če ne znamo postaviti ravno pravega vprašanja, popularna orodja za iskanje povsem odpovedo. Ta težava je splošna. V vedno večjih količinah znanja vedno težje najdemo, kar nas zanima – to velja tudi (ali še posebej) v matematiki. Na tem predavanju bo tekla beseda o tem, zakaj je v kombinatoriki včasih lažje najti izrek kot v analizi ali topologiji, kaj bi lahko naredili, da bomo imeli v prihodnosti boljše iskalnike po matematičnem znanju, ter kakšno vlogo pri tem igrajo matematične baze in formalna matematika.
Katja Berčič je asistentka na Fakulteti za matematiko in fiziko v Ljubljani. Doktorirala je leta 2015 iz matematike. Po krajšem izletu v industrijo je pot nadaljevala na podoktorskih pozicijah na UNAM v Mehiki in FAU v Nemčiji. Raziskovalno se ukvarja z reprezentacijo in upravljanjem matematičnega znanja.
