Sökning: "Matematiska bevis"

Visar resultat 1 - 5 av 41 uppsatser innehållade orden Matematiska bevis.

  1. 1. Haarmåttet på en lokalkompakt grupp: Ett bevis från grunden av dess existens och entydighet

    Kandidat-uppsats, Göteborgs universitet/Institutionen för matematiska vetenskaper

    Författare :Max Fölsch; Louise Kvarnbrant; Simon Månsson Nylund; [2023-11-28]
    Nyckelord :;

    Sammanfattning : Syftet med denna rapport är att bevisa att det på varje lokalkompakt grupp finns ett så kallat vänster-Haarmått, och att detta är unikt upp till en multiplikativ konstant. Läsaren antas inte vara förtrogen med varken topologi, måtteori eller integrationsteori, utan en stor del av rapporten består av en grundlig genomgång av den nödvändiga bakgrundsteorin inom dessa områden. LÄS MER

  3. 2. Strukturer och värderingar av bevis

    Kandidat-uppsats, Göteborgs universitet/Institutionen för matematiska vetenskaper

    Författare :Phoenix Björkdahl; [2023-04-18]
    Nyckelord :Geometri; bevis; argumentation; Toulmin; van Hiele; syfte med bevis; lärares värderingar; matematik 2.;

    Sammanfattning : The main purpose of this study was to investigate the structure of Swedish students’ mathematical argumentation and what values teacher show when ranking student solutions. This qualitative study used a clinical, task-based interview (N = 4). LÄS MER

  4. 3. Exploring electroweak symmetry breaking in the scale-invariant Two-Higgs-Doublet Model

    Master-uppsats, Lunds universitet/Fysiska institutionen; Lunds universitet/Teoretisk partikelfysik - Geonomgår omorganisation

    Författare :Erik Rustas; [2023]
    Nyckelord :Two-Higgs-Doublet Models; 2HDM; Scale-invariance; Baryogenesis; BSM; Baryon Asymmetry; Coleman-Weinberg Potential; Theoretical Particle Physics; Physics and Astronomy;

    Sammanfattning : This thesis investigates the properties of a general scale-invariant Two-Higgs-Doublet Model and its phenomenological consequences with focus on the scalar sector. The concept suggests that introducing more CP-violation, both spontaneous and explicit, may make it possible to meet the Sakharov conditions and account for the Universe's baryon asymmetry. LÄS MER

  5. 4. Eulers polyederformel och Lakatos monsterhantering

    Kandidat-uppsats, Uppsala universitet/Matematiska institutionen

    Författare :Alice Danielsson; [2023]
    Nyckelord :Lakatos; Proofs and Refutations; Euler; Polyederformel; Bevis och Motbevis;

    Sammanfattning : In this essay the heuristic method of proofs and refutations, as pre- sented in the book Proofs and refutations by Imre Lakatos, is reviewed and discussed. Some background is given of heuristic methodology in contrast to the deductivist method and then Euler’s polyhedron for- mula is presented. LÄS MER

  7. 5. Proof of the security of the modified sphinx mixnet header format in the SPORES protocol : A verifiably secure onion routing protocol with indistinguishable replies

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Benjamin Thellström; [2023]
    Nyckelord :;

    Sammanfattning : The internet inherently makes secret communication difficult, the entire basis of the IP-protocol is that the routers handling the packets need to know who is receiving the packet. However, there are many reasons why someone would want to communicate in secret. One possible solution is that of onion-routing. LÄS MER