Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Member of:

    ORCID: 0000-0002-7495-4697
    1 - 52 out of 52Page size: 100
    Sort by: Start date
    1. 2019

    2. Employing Computers in Posing and Attacking Mathematical Problems: Human Mathematical Practice, Experimental Mathematics, and Proof Assistants

      Sørensen, Henrik Kragh (Other)

      6 Aug 2019

      Activity: Talk or presentation types › Lecture and oral contribution

    3. At tegne landet

      Sørensen, Henrik Kragh (Other)

      Mar 2019

      Activity: Talk or presentation types › Lecture and oral contribution

    4. Kildecentreret matematikhistorie og matematisk dannelse for det 21. århundrede

      Sørensen, Henrik Kragh (Other)

      Mar 2019

      Activity: Talk or presentation types › Lecture and oral contribution

    5. Tal

      Sørensen, Henrik Kragh (Other)

      Mar 2019

      Activity: Talk or presentation types › Lecture and oral contribution

    6. Tal

      Sørensen, Henrik Kragh (Other)

      Mar 2019

      Activity: Talk or presentation types › Lecture and oral contribution

    7. Matematiske mysterier

      Sørensen, Henrik Kragh (Other)

      Jan 2019

      Activity: Talk or presentation types › Lecture and oral contribution

    8. 2018

    9. Data er rene — vi snavser dem til!

      Sørensen, Henrik Kragh (Other)

      Dec 2018

      Activity: Talk or presentation types › Lecture and oral contribution

    10. Fagets Videnskabsteori og Filosofikum 2.0

      Sørensen, Henrik Kragh (Other)

      Dec 2018

      Activity: Talk or presentation types › Lecture and oral contribution

    11. Tal

      Sørensen, Henrik Kragh (Other)

      Dec 2018

      Activity: Talk or presentation types › Lecture and oral contribution

    12. Beskidte tal: Ansvar for matematik

      Johansen, Mikkel Willum (Other) & Sørensen, Henrik Kragh (Other)

      Nov 2018

      Activity: Talk or presentation types › Lecture and oral contribution

    13. Den naturvidenskabelige metode er død; længe leve naturvidenskabelige metoder.

      Sørensen, Henrik Kragh (Other)

      Nov 2018

      Activity: Talk or presentation types › Lecture and oral contribution

    14. Tal

      Sørensen, Henrik Kragh (Other)

      Nov 2018

      Activity: Talk or presentation types › Lecture and oral contribution

    15. Matematikkens metode og historie

      Sørensen, Henrik Kragh (Other)

      Oct 2018

      Activity: Talk or presentation types › Lecture and oral contribution

    16. Hvorfor skal vi have matematik på skemaet?

      Sørensen, Henrik Kragh (Other)

      Apr 2018

      Activity: Talk or presentation types › Lecture and oral contribution

    17. Matematiske beviser i historisk og filosofisk lys

      Sørensen, Henrik Kragh (Other)

      Apr 2018

      Activity: Talk or presentation types › Lecture and oral contribution

    18. Matematisk dannelse på langs og på tværs

      Sørensen, Henrik Kragh (Other)

      Mar 2018

      Activity: Talk or presentation types › Lecture and oral contribution

    19. Matematikkens metode og historie

      Sørensen, Henrik Kragh (Other)

      Feb 2018

      Activity: Talk or presentation types › Lecture and oral contribution

    20. 2017

    21. Tal

      Sørensen, Henrik Kragh (Other)

      Dec 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    22. The practice of framing mathematical papers: Training to write to convince

      Sørensen, Henrik Kragh (Other), Andersen, L. E. (Other) & Johansen, Mikkel Willum (Other)

      Dec 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    23. Matematikkens metoder og historie

      Sørensen, Henrik Kragh (Other)

      Nov 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    24. Matematisk dannelse for det 21. århundrede

      Sørensen, Henrik Kragh (Other)

      Nov 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    25. Tal

      Sørensen, Henrik Kragh (Other)

      Nov 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    26. Employing Computers in Posing and Attacking Mathematical Problems: Human Mathematical Practice, Experimental Mathematics, and Proof Assistants

      Sørensen, Henrik Kragh (Other)

      Oct 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    27. Employing Computers in Posing and Attacking Mathematical Problems: Human Mathematical Practice, Experimental Mathematics, and Proof Assistants

      Sørensen, Henrik Kragh (Other)

      Oct 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    28. Matematisk og naturvidenskabelig dannelse i gymnasiet

      Sørensen, Henrik Kragh (Other)

      26 Sep 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    29. Ej blot til lyst: Programmering og matematisk dannelse i det 21. århundrede

      Sørensen, Henrik Kragh (Other)

      Sep 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    30. Matematikkens metoder og historie: Vedkommende videnskabstori og matematikhistorie i gymnasiets matematikundervisning

      Sørensen, Henrik Kragh (Other)

      Sep 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    31. Tænkepauser: Tal

      Sørensen, Henrik Kragh (Other)

      Sep 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    32. Vækst i nationens tjeneste: Hvordan Verhulst fik beskrevet logistisk vækst

      Sørensen, Henrik Kragh (Other)

      Aug 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    33. Tænkepauser: Tal

      Sørensen, Henrik Kragh (Other)

      Jul 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    34. Fagets videnskabsteori som et middel til matematisk og naturvidenskabelig dannelse

      Sørensen, Henrik Kragh (Other)

      Jun 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    35. Posing and Attacking Mathematical Problems: Human Mathematical Practice, Experimental Mathematics, and Proof Assistants

      Sørensen, Henrik Kragh (Other)

      Jun 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    36. "Abel den Lykkelige": Hvad kan metabiografiske studier sige om matematik?

      Sørensen, Henrik Kragh (Other)

      May 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    37. At tegne landet: Kortlægning og landskabsmaleri

      Sørensen, Henrik Kragh (Other)

      May 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    38. Tænkepauser: Tal

      Sørensen, Henrik Kragh (Other)

      Apr 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    39. What the practice of research mathematicians can teach automated theorem proving

      Sørensen, Henrik Kragh (Other)

      Apr 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    40. Tænkepauser: Tal

      Sørensen, Henrik Kragh (Other)

      21 Mar 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    41. Tænkepauser: Tal

      Sørensen, Henrik Kragh (Other)

      13 Mar 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    42. Tænkepauser: Tal

      Sørensen, Henrik Kragh (Other)

      9 Mar 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    43. Tænkepauser: Tal

      Sørensen, Henrik Kragh (Other)

      5 Mar 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    44. Matematikkens historie og videnskabsteori: Vedkommende refleksioner om matematikkens metoder og identitet i gymnasiets matematikundervisning

      Sørensen, Henrik Kragh (Other)

      2 Mar 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    45. Hvad er matematik?

      Sørensen, Henrik Kragh (Lecturer)

      26 Jan 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    46. Herons formel og kildecentreret matematikhistorie i undervisningen

      Sørensen, Henrik Kragh (Lecturer)

      25 Jan 2017

      Activity: Talk or presentation types › Lecture and oral contribution

    47. 2016

    48. Kildecentreret matematikhistorie i undervisningen

      Sørensen, Henrik Kragh (Lecturer)

      6 Dec 2016

      Activity: Talk or presentation types › Lecture and oral contribution

    49. Når man kradser i overfladen: Relevant videnskabshistorie og videnskabsteori

      Sørensen, Henrik Kragh (Lecturer)

      29 Nov 2016

      Activity: Talk or presentation types › Lecture and oral contribution

    50. Developing mathematics teaching with original sources

      Sørensen, Henrik Kragh (Lecturer)

      21 Nov 2016

      Activity: Talk or presentation types › Lecture and oral contribution

    51. “Lost in translation”: Gaining access to past mathematical practice

      Sørensen, Henrik Kragh (Lecturer)

      Nov 2016

      Activity: Talk or presentation types › Lecture and oral contribution

    52. Developing mathematics teaching with original sources

      Sørensen, Henrik Kragh (Lecturer)

      19 Sep 2016

      Activity: Talk or presentation types › Lecture and oral contribution

    53. Matematikkens historie og videnskabsteori: Vedkommende refleksioner om matematikkens metoder og identitet i gymnasiets matematikundervisning

      Sørensen, Henrik Kragh (Lecturer)

      6 Sep 2016

      Activity: Talk or presentation types › Lecture and oral contribution

    54. Vækst i nationens tjeneste

      Sørensen, Henrik Kragh (Lecturer)

      1 Sep 2016

      Activity: Talk or presentation types › Lecture and oral contribution

    55. "Abel der Glückliche": Appropriations in the biographies of Niels Henrik Abel

      Sørensen, Henrik Kragh (Lecturer)

      Sep 2016

      Activity: Talk or presentation types › Lecture and oral contribution

    56. Using historical sources to teach about mathematics: Verhulst and logistic growth

      Sørensen, Henrik Kragh (Lecturer)

      22 Aug 2016

      Activity: Talk or presentation types › Lecture and oral contribution

    ID: 164255954