{"version":{},"omfattning":"1,5","avvecklad":false,"betygsskala":"UNDEFINED","kravTidigareStudier":"UNDEFINED","beskrivning":[],"huvudomrade":[{"huvudomrade":{"benamning":[{"sprakkod":"se","text":"Matematik"}],"beskrivning":[]}}],"utbildningsomrade":[],"amnesord":[],"kravBehorighet":[{"sprakkod":"se","text":"15 högskolepoäng i matematik."}],"uid":"00385128-C778-496F-A3CD-5334632106FE","organisation":{"hrReferensNummer":[],"benamning":[],"beskrivning":[]},"utbildningskod":"MA171G","grundtyp":"KURS","utbildningstyp":"UNDEFINED","utbildningsform":"HOGSKOLEUTBILDNING","studieordning":"UNDEFINED","nivainomstudieordning":"GRUND","amnesomrade":[],"status":"KOMPLETT","benamning":[{"sprakkod":"sv","text":"Matematik, historik och logik"},{"sprakkod":"en","text":"Mathematics, History and Logic"}],"fritext":{"PROGRAMINNEHALLEX":{"benamning":[{"sprakkod":"se","text":""}]},"PROGRAMPOPULARBESKRIVNING":{"benamning":[{"sprakkod":"se","text":"2020-09-11 00:00:00.0"}]},"KURSSTUDIEFORM":{"benamning":[{"sprakkod":"se","text":"\u003c@teachingTxtSv/\u003eföreläsningar\u003c@comma/\u003eseminarier\u003c@andTxtSv/\u003edatorövningar\u003c@period/\u003e\u003c@teachingFormBreak/\u003e"}]},"EXAMENKOMMENTAR":{"benamning":[{"sprakkod":"se","text":""}]},"LITTERATURLISTASTATUS":{"benamning":[{"sprakkod":"se","text":"KLAR"}]},"KURSBEDOMNINGSFORM":{"benamning":[{"sprakkod":"se","text":"Betygsskala A-F enligt rektorsbeslut 2019-11-12 ärendenr: ORU 06367/2019."}]},"PROGRAMMAL":{"benamning":[{"sprakkod":"se","text":"Kunskap och förståelse\nEfter avslutad kurs ska den studerande\r\n@@ha vissa kunskaper om matematikens tidiga historia,\r\n@@känna till grundläggande begrepp och resultat från matematisk logik, och\r\n@@känna till aktuella frågeställningar relaterade till matematikens grunder.\r\nFärdighet och förmåga\nEfter avslutad kurs ska den studerande kunna\r\n@@redogöra för krisen i matematikens grunder under början av 1900 talet, dess orsaker, och konsekvenser för den moderna synen på matematik, och\r\n@@använda bevisassistent vid elementär bevisföring.\r\nVärderingsförmåga och förhållningssätt\nEfter avslutad kurs ska den studerande kunna\r\n@@avgöra vilka begränsningar matematikens grundvalar sätter för matematiken och för tolkning av dess resultat."}]},"PROGRAMALLMANT":{"benamning":[{"sprakkod":"se","text":"\u003cp\u003e\u003ci\u003eExamination\u003c/i\u003e\u003cbr\u003e\u003c@gradeScaleIntroTxtExSv/\u003eUnderkänd (F), Tillräcklig (E), Tillfredsställande (D), Bra (C), Mycket bra (B) eller Utmärkt (A).\u003c/p\u003e"}]},"KURSEXAMINA":{"benamning":[{"sprakkod":"se","text":"\u003cp\u003e\u003ci\u003eExamination\u003c/i\u003e, 1,5 \u003c@creditsLoTxtSv/\u003e (\u003c@testCodeTxtSv/\u003e: A001)\u003cbr\u003eExamination sker genom seminarier samt muntlig och skriftlig redovisning.\u003c/p\u003e"}]},"KURSBESTAMMELSER":{"benamning":[{"sprakkod":"se","text":""}]},"PROGRAMINKRAV":{"benamning":[{"sprakkod":"se","text":"1.0"}]},"KURSBETYG":{"benamning":[{"sprakkod":"se","text":"Underkänd (F), Tillräcklig (E), Tillfredsställande (D), Bra (C), Mycket bra (B) eller Utmärkt (A)"}]},"LITTERATURLISTA":{"benamning":[{"sprakkod":"se","text":"\u003c_p0_\u003e\u003c@littHeaderTagStart/\u003eObligatorisk litteratur\u003c@littHeaderTagEnd/\u003e\r\nGowers, Timothy, Barrow-Green, June, \u0026 Leader, Imre (2008)\n//The Princeton companion to mathematics//\nPrinceton University press\r\nYtterligare material tillhandahålls av enheten för matematik."}]},"KURSFORDJUPNING":{"benamning":[{"sprakkod":"se","text":"G1F "}]},"KURSUPPDRAG":{"benamning":[{"sprakkod":"se","text":"N"}]},"PROGRAMINNEHALL":{"benamning":[{"sprakkod":"se","text":"Matematisk historik fram till modern tid, trenden mot ökad stringens under 1800-talet, de tre skolorna ”formalism”, ”logicism”, och ”intuitionism”. Grundläggande begrepp och resultat från matematisk logik: formella språk, Russels paradox, Gödels satser. Mängdlära och axiomsystem för matematik."}]},"PROGRAMOVRIGT":{"benamning":[{"sprakkod":"se","text":""}]}},"datum":{"FASTSTALLANDEDATUM":{"startDatum":"2020-09-11T00:00:00.000Z","periodkod":[{"periodkodtyp":"VHYY","benamning":[{"sprakkod":"sv","text":"H20"},{"sprakkod":"en","text":"H20"}]},{"periodkodtyp":"VTHTYY","benamning":[{"sprakkod":"sv","text":"HT20"},{"sprakkod":"en","text":"HT20"}]},{"periodkodtyp":"YYYYN","benamning":[{"sprakkod":"sv","text":"20202"},{"sprakkod":"en","text":"20202"}]},{"periodkodtyp":"YYYYW","benamning":[{"sprakkod":"sv","text":"202037"},{"sprakkod":"en","text":"202037"}]},{"periodkodtyp":"YYYYMMDD","benamning":[{"sprakkod":"sv","text":"2020-09-11"},{"sprakkod":"en","text":"2020-09-11"}]},{"periodkodtyp":"VTHTYYYY","benamning":[{"sprakkod":"sv","text":"HT 2020"},{"sprakkod":"en","text":"HT 2020"}]},{"periodkodtyp":"AVI","benamning":[{"sprakkod":"sv","text":"Höstterminen 2020"},{"sprakkod":"en","text":"Autumn semester 2020"}]},{"periodkodtyp":"VHYY","benamning":[{"sprakkod":"sv","text":"H20"},{"sprakkod":"en","text":"H20"}]},{"periodkodtyp":"VTHTYY","benamning":[{"sprakkod":"sv","text":"HT20"},{"sprakkod":"en","text":"HT20"}]},{"periodkodtyp":"YYYYN","benamning":[{"sprakkod":"sv","text":"20202"},{"sprakkod":"en","text":"20202"}]},{"periodkodtyp":"YYYYW","benamning":[{"sprakkod":"sv","text":"202037"},{"sprakkod":"en","text":"202037"}]},{"periodkodtyp":"YYYYMMDD","benamning":[{"sprakkod":"sv","text":"2020-09-11"},{"sprakkod":"en","text":"2020-09-11"}]},{"periodkodtyp":"VTHTYYYY","benamning":[{"sprakkod":"sv","text":"HT 2020"},{"sprakkod":"en","text":"HT 2020"}]},{"periodkodtyp":"AVI","benamning":[{"sprakkod":"sv","text":"Höstterminen 2020"},{"sprakkod":"en","text":"Autumn semester 2020"}]}],"periodTidsrelation":"INOM"},"IKRAFTTRADANDETERMIN":{"startDatum":"2021-01-18T00:00:00.000Z","slutDatum":"2021-06-06T00:00:00.000Z","periodkod":[{"periodkodtyp":"YYYYN","benamning":[{"sprakkod":"se","text":"20211"}]},{"periodkodtyp":"VHYY","benamning":[{"sprakkod":"sv","text":"V21"},{"sprakkod":"en","text":"V21"}]},{"periodkodtyp":"VTHTYY","benamning":[{"sprakkod":"sv","text":"VT21"},{"sprakkod":"en","text":"VT21"}]},{"periodkodtyp":"YYYYN","benamning":[{"sprakkod":"sv","text":"20211"},{"sprakkod":"en","text":"20211"}]},{"periodkodtyp":"YYYYW","benamning":[{"sprakkod":"sv","text":"202104"},{"sprakkod":"en","text":"202104"}]},{"periodkodtyp":"YYYYMMDD","benamning":[{"sprakkod":"sv","text":"2021-01-18"},{"sprakkod":"en","text":"2021-01-18"}]},{"periodkodtyp":"VTHTYYYY","benamning":[{"sprakkod":"sv","text":"VT 2021"},{"sprakkod":"en","text":"VT 2021"}]},{"periodkodtyp":"AVI","benamning":[{"sprakkod":"sv","text":"Vårterminen 2021"},{"sprakkod":"en","text":"Spring semester 2021"}]},{"periodkodtyp":"VHYY","benamning":[{"sprakkod":"sv","text":"V21"},{"sprakkod":"en","text":"V21"}]},{"periodkodtyp":"VTHTYY","benamning":[{"sprakkod":"sv","text":"VT21"},{"sprakkod":"en","text":"VT21"}]},{"periodkodtyp":"YYYYN","benamning":[{"sprakkod":"sv","text":"20211"},{"sprakkod":"en","text":"20211"}]},{"periodkodtyp":"YYYYW","benamning":[{"sprakkod":"sv","text":"202104"},{"sprakkod":"en","text":"202104"}]},{"periodkodtyp":"YYYYMMDD","benamning":[{"sprakkod":"sv","text":"2021-01-18"},{"sprakkod":"en","text":"2021-01-18"}]},{"periodkodtyp":"VTHTYYYY","benamning":[{"sprakkod":"sv","text":"VT 2021"},{"sprakkod":"en","text":"VT 2021"}]},{"periodkodtyp":"AVI","benamning":[{"sprakkod":"sv","text":"Vårterminen 2021"},{"sprakkod":"en","text":"Spring semester 2021"}]}],"periodkodslut":[{"periodkodtyp":"VHYY","benamning":[{"sprakkod":"sv","text":"V21"},{"sprakkod":"en","text":"V21"}]},{"periodkodtyp":"VTHTYY","benamning":[{"sprakkod":"sv","text":"VT21"},{"sprakkod":"en","text":"VT21"}]},{"periodkodtyp":"YYYYN","benamning":[{"sprakkod":"sv","text":"20211"},{"sprakkod":"en","text":"20211"}]},{"periodkodtyp":"YYYYW","benamning":[{"sprakkod":"sv","text":"202124"},{"sprakkod":"en","text":"202124"}]},{"periodkodtyp":"YYYYMMDD","benamning":[{"sprakkod":"sv","text":"2021-06-06"},{"sprakkod":"en","text":"2021-06-06"}]},{"periodkodtyp":"VTHTYYYY","benamning":[{"sprakkod":"sv","text":"VT 2021"},{"sprakkod":"en","text":"VT 2021"}]},{"periodkodtyp":"AVI","benamning":[{"sprakkod":"sv","text":"Vårterminen 2021"},{"sprakkod":"en","text":"Spring semester 2021"}]},{"periodkodtyp":"VHYY","benamning":[{"sprakkod":"sv","text":"V21"},{"sprakkod":"en","text":"V21"}]},{"periodkodtyp":"VTHTYY","benamning":[{"sprakkod":"sv","text":"VT21"},{"sprakkod":"en","text":"VT21"}]},{"periodkodtyp":"YYYYN","benamning":[{"sprakkod":"sv","text":"20211"},{"sprakkod":"en","text":"20211"}]},{"periodkodtyp":"YYYYW","benamning":[{"sprakkod":"sv","text":"202124"},{"sprakkod":"en","text":"202124"}]},{"periodkodtyp":"YYYYMMDD","benamning":[{"sprakkod":"sv","text":"2021-06-06"},{"sprakkod":"en","text":"2021-06-06"}]},{"periodkodtyp":"VTHTYYYY","benamning":[{"sprakkod":"sv","text":"VT 2021"},{"sprakkod":"en","text":"VT 2021"}]},{"periodkodtyp":"AVI","benamning":[{"sprakkod":"sv","text":"Vårterminen 2021"},{"sprakkod":"en","text":"Spring semester 2021"}]}],"periodTidsrelation":"EFTER"},"INRATTANDEDATUM":{"startDatum":"2019-12-02T00:00:00.000Z","periodkod":[{"periodkodtyp":"VHYY","benamning":[{"sprakkod":"sv","text":"H19"},{"sprakkod":"en","text":"H19"}]},{"periodkodtyp":"VTHTYY","benamning":[{"sprakkod":"sv","text":"HT19"},{"sprakkod":"en","text":"HT19"}]},{"periodkodtyp":"YYYYN","benamning":[{"sprakkod":"sv","text":"20192"},{"sprakkod":"en","text":"20192"}]},{"periodkodtyp":"YYYYW","benamning":[{"sprakkod":"sv","text":"201949"},{"sprakkod":"en","text":"201949"}]},{"periodkodtyp":"YYYYMMDD","benamning":[{"sprakkod":"sv","text":"2019-12-02"},{"sprakkod":"en","text":"2019-12-02"}]},{"periodkodtyp":"VTHTYYYY","benamning":[{"sprakkod":"sv","text":"HT 2019"},{"sprakkod":"en","text":"HT 2019"}]},{"periodkodtyp":"AVI","benamning":[{"sprakkod":"sv","text":"Höstterminen 2019"},{"sprakkod":"en","text":"Autumn semester 2019"}]},{"periodkodtyp":"VHYY","benamning":[{"sprakkod":"sv","text":"H19"},{"sprakkod":"en","text":"H19"}]},{"periodkodtyp":"VTHTYY","benamning":[{"sprakkod":"sv","text":"HT19"},{"sprakkod":"en","text":"HT19"}]},{"periodkodtyp":"YYYYN","benamning":[{"sprakkod":"sv","text":"20192"},{"sprakkod":"en","text":"20192"}]},{"periodkodtyp":"YYYYW","benamning":[{"sprakkod":"sv","text":"201949"},{"sprakkod":"en","text":"201949"}]},{"periodkodtyp":"YYYYMMDD","benamning":[{"sprakkod":"sv","text":"2019-12-02"},{"sprakkod":"en","text":"2019-12-02"}]},{"periodkodtyp":"VTHTYYYY","benamning":[{"sprakkod":"sv","text":"HT 2019"},{"sprakkod":"en","text":"HT 2019"}]},{"periodkodtyp":"AVI","benamning":[{"sprakkod":"sv","text":"Höstterminen 2019"},{"sprakkod":"en","text":"Autumn semester 2019"}]}],"periodTidsrelation":"INOM"}},"faststallandeOrganisation":{"hrReferensNummer":[],"benamning":[{"sprakkod":"se","text":"Prefekt"}],"beskrivning":[],"kod":"Prefekt"},"visaWebb":"UNDEFINED","visaXML":"UNDEFINED"}