Henrik Kragh Sørensen

Activities

Activities per year 2016 2017 2019

• 52 Lecture and oral contribution

Activities per year

Search results

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

  Sørensen, H. K. (Other)

  6 Aug 2019

  Activity: Talk or presentation types › Lecture and oral contribution

• Tal

  Sørensen, H. K. (Other)

  Mar 2019

  Activity: Talk or presentation types › Lecture and oral contribution

• At tegne landet

  Sørensen, H. K. (Other)

  Mar 2019

  Activity: Talk or presentation types › Lecture and oral contribution

• Tal

  Sørensen, H. K. (Other)

  Mar 2019

  Activity: Talk or presentation types › Lecture and oral contribution

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

  Sørensen, H. K. (Other)

  Mar 2019

  Activity: Talk or presentation types › Lecture and oral contribution

• Matematiske mysterier

  Sørensen, H. K. (Other)

  Jan 2019

  Activity: Talk or presentation types › Lecture and oral contribution

• Data er rene — vi snavser dem til!

  Sørensen, H. K. (Other)

  Dec 2018

  Activity: Talk or presentation types › Lecture and oral contribution

• Fagets Videnskabsteori og Filosofikum 2.0

  Sørensen, H. K. (Other)

  Dec 2018

  Activity: Talk or presentation types › Lecture and oral contribution

• Tal

  Sørensen, H. K. (Other)

  Dec 2018

  Activity: Talk or presentation types › Lecture and oral contribution

• Beskidte tal: Ansvar for matematik

  Johansen, M. W. (Other) & Sørensen, H. K. (Other)

  Nov 2018

  Activity: Talk or presentation types › Lecture and oral contribution

• Tal

  Sørensen, H. K. (Other)

  Nov 2018

  Activity: Talk or presentation types › Lecture and oral contribution

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

  Sørensen, H. K. (Other)

  Nov 2018

  Activity: Talk or presentation types › Lecture and oral contribution

• Matematikkens metode og historie

  Sørensen, H. K. (Other)

  Oct 2018

  Activity: Talk or presentation types › Lecture and oral contribution

• Hvorfor skal vi have matematik på skemaet?

  Sørensen, H. K. (Other)

  Apr 2018

  Activity: Talk or presentation types › Lecture and oral contribution

• Matematiske beviser i historisk og filosofisk lys

  Sørensen, H. K. (Other)

  Apr 2018

  Activity: Talk or presentation types › Lecture and oral contribution

• Matematisk dannelse på langs og på tværs

  Sørensen, H. K. (Other)

  Mar 2018

  Activity: Talk or presentation types › Lecture and oral contribution

• Matematikkens metode og historie

  Sørensen, H. K. (Other)

  Feb 2018

  Activity: Talk or presentation types › Lecture and oral contribution

• Tal

  Sørensen, H. K. (Other)

  Dec 2017

  Activity: Talk or presentation types › Lecture and oral contribution

• The practice of framing mathematical papers: Training to write to convince

  Sørensen, H. K. (Other), Andersen, L. E. (Other) & Johansen, M. W. (Other)

  Dec 2017

  Activity: Talk or presentation types › Lecture and oral contribution

• Matematikkens metoder og historie

  Sørensen, H. K. (Other)

  Nov 2017

  Activity: Talk or presentation types › Lecture and oral contribution

• Tal

  Sørensen, H. K. (Other)

  Nov 2017

  Activity: Talk or presentation types › Lecture and oral contribution

• Matematisk dannelse for det 21. århundrede

  Sørensen, H. K. (Other)

  Nov 2017

  Activity: Talk or presentation types › Lecture and oral contribution

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

  Sørensen, H. K. (Other)

  Oct 2017

  Activity: Talk or presentation types › Lecture and oral contribution

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

  Sørensen, H. K. (Other)

  Oct 2017

  Activity: Talk or presentation types › Lecture and oral contribution

• Matematisk og naturvidenskabelig dannelse i gymnasiet

  Sørensen, H. K. (Other)

  26 Sept 2017

  Activity: Talk or presentation types › Lecture and oral contribution

• Tænkepauser: Tal

  Sørensen, H. K. (Other)

  Sept 2017

  Activity: Talk or presentation types › Lecture and oral contribution

• Matematikkens metoder og historie: Vedkommende videnskabstori og matematikhistorie i gymnasiets matematikundervisning

  Sørensen, H. K. (Other)

  Sept 2017

  Activity: Talk or presentation types › Lecture and oral contribution

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

  Sørensen, H. K. (Other)

  Sept 2017

  Activity: Talk or presentation types › Lecture and oral contribution

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

  Sørensen, H. K. (Other)

  Aug 2017

  Activity: Talk or presentation types › Lecture and oral contribution

• Tænkepauser: Tal

  Sørensen, H. K. (Other)

  Jul 2017

  Activity: Talk or presentation types › Lecture and oral contribution

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

  Sørensen, H. K. (Other)

  Jun 2017

  Activity: Talk or presentation types › Lecture and oral contribution

• Fagets videnskabsteori som et middel til matematisk og naturvidenskabelig dannelse

  Sørensen, H. K. (Other)

  Jun 2017

  Activity: Talk or presentation types › Lecture and oral contribution

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

  Sørensen, H. K. (Other)

  May 2017

  Activity: Talk or presentation types › Lecture and oral contribution

• At tegne landet: Kortlægning og landskabsmaleri

  Sørensen, H. K. (Other)

  May 2017

  Activity: Talk or presentation types › Lecture and oral contribution

• What the practice of research mathematicians can teach automated theorem proving

  Sørensen, H. K. (Other)

  Apr 2017

  Activity: Talk or presentation types › Lecture and oral contribution

• Tænkepauser: Tal

  Sørensen, H. K. (Other)

  Apr 2017

  Activity: Talk or presentation types › Lecture and oral contribution

• Tænkepauser: Tal

  Sørensen, H. K. (Other)

  21 Mar 2017

  Activity: Talk or presentation types › Lecture and oral contribution

• Tænkepauser: Tal

  Sørensen, H. K. (Other)

  13 Mar 2017

  Activity: Talk or presentation types › Lecture and oral contribution

• Tænkepauser: Tal

  Sørensen, H. K. (Other)

  9 Mar 2017

  Activity: Talk or presentation types › Lecture and oral contribution

• Tænkepauser: Tal

  Sørensen, H. K. (Other)

  5 Mar 2017

  Activity: Talk or presentation types › Lecture and oral contribution

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

  Sørensen, H. K. (Other)

  2 Mar 2017

  Activity: Talk or presentation types › Lecture and oral contribution

• Hvad er matematik?

  Sørensen, H. K. (Lecturer)

  26 Jan 2017

  Activity: Talk or presentation types › Lecture and oral contribution

• Herons formel og kildecentreret matematikhistorie i undervisningen

  Sørensen, H. K. (Lecturer)

  25 Jan 2017

  Activity: Talk or presentation types › Lecture and oral contribution

• Kildecentreret matematikhistorie i undervisningen

  Sørensen, H. K. (Lecturer)

  6 Dec 2016

  Activity: Talk or presentation types › Lecture and oral contribution

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

  Sørensen, H. K. (Lecturer)

  29 Nov 2016

  Activity: Talk or presentation types › Lecture and oral contribution

• Developing mathematics teaching with original sources

  Sørensen, H. K. (Lecturer)

  21 Nov 2016

  Activity: Talk or presentation types › Lecture and oral contribution

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

  Sørensen, H. K. (Lecturer)

  Nov 2016

  Activity: Talk or presentation types › Lecture and oral contribution

• Developing mathematics teaching with original sources

  Sørensen, H. K. (Lecturer)

  19 Sept 2016

  Activity: Talk or presentation types › Lecture and oral contribution

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

  Sørensen, H. K. (Lecturer)

  6 Sept 2016

  Activity: Talk or presentation types › Lecture and oral contribution

• Vækst i nationens tjeneste

  Sørensen, H. K. (Lecturer)

  1 Sept 2016

  Activity: Talk or presentation types › Lecture and oral contribution