Matematik och AI, orienteringskurs
I den här kursen får du lära dig om de matematiska och statistiska grunderna för stora språkmodeller, och hur AI används i matematisk forskning.
Kursen behandlar: Deduktiv metod. Begreppen axiom, bevis och sats. De matematiska och statistiska grunderna för stora språkmodeller. En orientering om bevisassistenter. En orientering om hur datorer och AI har använts i matematisk forskning.
Kursen kan ingå i examen, dock inte i examen med huvudområde matematik, matematisk statistik, datalogi, beräkningsmatematik eller försäkringsmatematik.
Kursen består av ett moment.
Undervisning
Undervisningen består av föreläsningar.
Examination
Examination sker genom skriftligt prov samt genom skriftlig och muntlig redovisning av inlämningsuppgifter.
Examinator
Schema finns tillgängligt senast en månad före kursstart. Vi rekommenderar inte utskrift av scheman då vissa ändringar kan ske.
Vid kursstart meddelar utbildningsansvarig institution var du hittar ditt schema under utbildningen.
Observera att kurslitteraturen kan ändras fram till två månader före kursstart.
Kursrapporter visas för de tre senaste kurstillfällena.
