Sökning: "Matematisk logik"

Visar resultat 21 - 25 av 26 avhandlingar innehållade orden Matematisk logik.

  1. 21. Topics in geometry, analysis and inverse problems

    Författare :Hans Rullgård; Mikael Passare; Victor Palamodov; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Laurent series; Harnack curves; differential equations; tomography; Mathematical logic; Matematisk logik;

    Sammanfattning : The thesis consists of three independent parts.Part I: Polynomial amoebasWe study the amoeba of a polynomial, as de ned by Gelfand, Kapranov and Zelevinsky. A central role in the treatment is played by a certain convex function which is linear in each complement component of the amoeba, which we call the Ronkin function. LÄS MER

  3. 22. Dynamics in Random Boolean Networks

    Författare :Björn Samuelsson; Funktionell zoologi; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; gravitation; relativity; quantum mechanics; biomathematics biometrics; Bioinformatik; medicinsk informatik; biomatematik; Mathematical logic; set theory; combinatories; Matematisk logik; Mathematical and general theoretical physics; kombinatorik; mängdlära; classical mechanics; Bioinformatics; tissue simulations; transcription networks; random graphs; random maps; nested canalyzing; canalyzing; genetic regulation; Kauffman networks; random Boolean networks; statistical physics; thermodynamics; medical informatics; Matematisk och allmän teoretisk fysik; klassisk mekanik; kvantmekanik; relativitet; termodynamik; statistisk fysik;

    Sammanfattning : There are many examples of complex networks in science. It can be genetic regulation in living cells, computers on the Internet, or social and economic networks. In this context, Boolean networks provide simplistic models that are relatively easy to handle using computer simulations and mathematical methods. LÄS MER

  4. 23. Proportionalitetsbegreppet i den svenska gymnasiematematiken – en studie om läromedel och nationella prov : [The Concept of Proportionality in the Swedish Upper Secondary School Mathematics – a Study of Textbooks and National Examinations]

    Författare :Anna L.V. Lundberg; Göteborgs universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Proportion; upper secondary school; textbooks; national course tests; curriculum; ATD; The anthropological theory of the didactics; missing value; numerical comparison; Qualitative prediction and comparison Nyckelord sv : Proportionalitets begreppet; proportionalitet; Matematik A; gymnasiet; läromedel; nationella prov; läroplaner; Lpf 94; ATD; reguladetri; saknat värde; missing value; numerical comparison; Qualitative prediction and comparison;

    Sammanfattning : Proportionalitet är ett centralt begrepp i skolmatematiken. Begreppet introduceras i de lägre stadierna och återkommer i så gott som samtliga kurser från årskurs 9 tillsista kursen på gymnasiet. Det övergripande syftet med denna studie är att undersöka hur det matematiska begreppet proportionalitet hanteras i den svenska gymnasieskolan. LÄS MER

  5. 24. Geometry and Critical Configurations of Multiple Views

    Författare :Fredrik Kahl; Matematik LTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; algebra; algebraic geometry; field theory; Number Theory; Matematik; Mathematics; reconstruction; image sequence; absolute conic; critical motions; critical surfaces; perspective projection; affine geometry; Euclidean geometry; multiple view geometry; projective geometry; group theory; Talteori; fältteori; algebraisk geometri; gruppteori; Mathematical logic; set theory; combinatories; Matematisk logik; mängdlära; kombinatorik;

    Sammanfattning : This thesis is concerned with one of the core problems in computer vision, namely to reconstruct a real world scene from several images of it. The interplay between the geometry of the scene, the cameras and the images is analyzed. LÄS MER

  7. 25. Properties of the Pushforward Map on Test Functions, Measures and Distributions

    Författare :Niels Christian Overgaard; Partiella differentialekvationer; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Matematik; Mathematics; wavefront sets.; oscillatory integrals; Bernstein-Sato polynomials; Palamodov s conjecture; image directe; Pushforward map; pullback map; Mathematical logic; set theory; combinatories; Matematisk logik; mängdlära; kombinatorik;

    Sammanfattning : The subject of this thesis is the pushforward map on compactly supported distributions induced by a smooth mapping. Being the adjoint of the natural pullback operation on the class of smooth functions, the pushforward map is always well-defined, and as such it must be regarded as one of the fundamental operations of distribution theory. LÄS MER