Sökning: "formell matematik"

Visar resultat 1 - 5 av 29 uppsatser innehållade orden formell matematik.

  1. 1. Homomorphic encryption

    Master-uppsats, KTH/Matematik (Avd.)

    Författare :Daniel Sanaee; [2023]
    Nyckelord :Mathematics; Cryptography; Computer science; Group Theory; Matematik; Kryptografi; Datalogi; Gruppteori;

    Sammanfattning : The problem of constructing a secure encryption scheme that allows for computation on encrypted data was an open problem for more than 30 years. In 2009, Craig Gentry solved the problem, constructing the first fully homomorphic encryption (FHE) scheme. LÄS MER

  3. 2. Matematiska resonemangsprocesser i empiriska undersökningar : En litteraturöversikt

    Uppsats för yrkesexamina på grundnivå, Linnéuniversitetet/Institutionen för matematik (MA)

    Författare :Jens Axelsson; [2023]
    Nyckelord :;

    Sammanfattning : Matematiska resonemang har kommit att betonas alltmer i såväl styrdokument som i internationella jämförelser mellan skolsystem. Parallellt med detta har ett allt större fokus lagts på processer i matematikundervisningen. LÄS MER

  4. 3. ”om man inte uppnår mål i NO årskurs 1-3 då handlar det ofta om andra saker” : En intervjustudie om bedömning och ramfaktorer i lågstadiets NO-ämnen

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Institutionen för pedagogik, didaktik och utbildningsstudier

    Författare :Joakim Andersson Franke; Andreas Edström; [2022]
    Nyckelord :bedömning; ramfaktorer; NO;

    Sammanfattning : I denna uppsats beskrivs en kvalitativ intervjustudie som gjordes höstterminen 2021 med syfte att undersöka lågstadielärares bedömningformer i NO-ämnena och hur de relaterar till ramfaktorer och bedömningsformer i andra skolämnen. Frågeställningarna berör vilka informella och formella bedömningsformer som beskrivs, hur relationerna mellan ramfaktorer och bedömningsformer ser ut, samt hur bedömningsformerna ser ut i NO-ämnena jämfört med andra ämnen. LÄS MER

  5. 4. Teknikämnet i grundskolan : en studie av Problemrepresentationer i teknikämnet reflekterat mot ett bildningsperspektiv

    Uppsats för yrkesexamina på avancerad nivå, Malmö universitet/Institutionen för naturvetenskap, matematik och samhälle (NMS)

    Författare :Peder Strömqvist; [2021]
    Nyckelord :Bacchi; bildning; innehållsanalys; kategorial bildning; Klafki; kursplan; problemrepresentation; teknikämnet.;

    Sammanfattning : Sammanfattning Teknikämnet är ett ungt ämne som söker sin roll i skolan och följsamhet till det teknikintensiva samhällets utveckling. Syftet med detta examensarbete är att bidra med kunskap om hur teknikämnet i grundskolans senare årskurser motiveras och konstrueras i kursplanen. LÄS MER

  7. 5. Matematiska resonemang och formell matematik i gymnasieskolan

    Uppsats för yrkesexamina på avancerad nivå, KTH/Lärande

    Författare :Malte Grip; [2021]
    Nyckelord :Matematik; Gymnasiet; Bevis; Resonemang; Förmåga; Symboler;

    Sammanfattning : Den här uppsatsens syfte har varit att mäta gymnasieelevers förmågor inom matematisk bevisföring. Förmågan att kunna följa och bedöma matematiska resonemang är enförmåga som ska utvecklas i gymnasiets samtliga matematikkurser. LÄS MER