Show filters Hide filters

Refine your search

Publication Year
1-5 out of 5 results
Change view
  • Sort by:
1:22:24 Hasso Plattner Institut (HPI) German 2009

Aussagenlogik und Prädikatenlogik

  • Published: 2009
  • Publisher: Hasso Plattner Institut (HPI)
  • Language: German
1:30:23 Hasso Plattner Institut (HPI) German 2011

05 Semantic Web Technologien - Aussagenlogik und Prädikatenlogik

  • Published: 2011
  • Publisher: Hasso Plattner Institut (HPI)
  • Language: German
24:23 Pädagogische Hochschule Heidelberg (PHH) German 2012

Die Wissenschaft Mathematik

Vorlesung von Prof. Christian Spannagel an der PH Heidelberg.
  • Published: 2012
  • Publisher: Pädagogische Hochschule Heidelberg (PHH)
  • Language: German
52:59 Heidelberg Laureate Forum Foundation English 2016

4th HLF - Laureate Lectures: Sir Michael Atiyah

Sir Michael Atiyah: “The Soluble and the Insoluble” What do we mean by a solution to a problem? This is both a philosophical question, and a practical one, which depends on what one is trying to achieve and the means, time and money available. The explosion in computer technology keeps changing the goal posts. I will reflect on these issues, primarily from the viewpoint of an elderly mathematician. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video.
  • Published: 2016
  • Publisher: Heidelberg Laureate Forum Foundation
  • Language: English
14:47 Heidelberg Laureate Forum Foundation English 2018

5th HLF – Interviews with mathematics and computer science laureates: Efim Zelmanov

Laureates at the 5th HLF sit down with Tom Geller, Tom Geller Productions, to discuss their career, mentoring and their experience at the Heidelberg Laureate Forum (HLF). These renowned scientists have been honored with most prestigious awards in mathematics and computer science: Abel Prize, ACM A.M. Turing Award, ACM Prize in Computing, Fields Medal and Nevanlinna Prize. The opinions expressed in this video do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of the video. Background: The Heidelberg Laureate Forum Foundation (HLFF) annually organizes the Heidelberg Laureate Forum (HLF), which is a networking event for mathematicians and computer scientists from all over the world. The HLFF was established and is funded by the German foundation the Klaus Tschira Stiftung (KTS), which promotes natural sciences, mathematics and computer science. The HLF is strongly supported by the award-granting institutions, the Association for Computing Machinery (ACM: ACM A.M. Turing Award, ACM Prize in Computing), the International Mathematical Union (IMU: Fields Medal, Nevanlinna Prize), and the Norwegian Academy of Science and Letters (DNVA: Abel Prize). The Scientific Partners of the HLFF are the Heidelberg Institute for Theoretical Studies (HITS) and Heidelberg University.
  • Published: 2018
  • Publisher: Heidelberg Laureate Forum Foundation
  • Language: English
out of 1 pages
Loading...
Feedback

Timings

   75 ms - page object
   46 ms - search
    6 ms - highlighting
    0 ms - highlighting/19908
    1 ms - highlighting/40112
    6 ms - highlighting/14265
    3 ms - highlighting/40103
    6 ms - highlighting/11272

Version

AV-Portal 3.8.0 (dec2fe8b0ce2e718d55d6f23ab68f0b2424a1f3f)