Computer-supported Mathematics Learning: What do we really want? - PowerPoint PPT Presentation

Mar 09, 2023 •288 likes •1.26k views

Computer-supported Mathematics Learning: What do we really want? Prof. Ulrich Kortenkamp, University of Education Karlsruhe TU Eindhoven, June 6-7, 2011 TELMME Conference on E-Learning and Mathematics

Computer-supported Mathematics Learning: What do we really want? Prof. Ulrich Kortenkamp, University of Education Karlsruhe TU Eindhoven, June 6-7, 2011 TELMME Conference on E-Learning and Mathematics �� Montag, 6. Juni 2011 ��
source: xkcd.com Montag, 6. Juni 2011
Moore's Law Montag, 6. Juni 2011
Moore's Law (Wrong, but more spectacular version) Montag, 6. Juni 2011
Moore's Law (Wrong, but more spectacular version) Computing power doubles every 18 months. Montag, 6. Juni 2011
Moore's Law (Wrong, but more spectacular version) Computing power doubles every 18 months. Or: Every two years everything becomes twice as good Montag, 6. Juni 2011
Montag, 6. Juni 2011
Year 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 Montag, 6. Juni 2011
Year Harddisk 1981 1982 1983 1984 1985 1986 1987 1988 1989 60.000.000 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 60.000.000.000 2000 2001 120.000.000.000 2002 2003 2004 2005 2006 320.000.000.000 2007 2008 1.000.000.000.000 2009 2010 4.000.000.000.000 2011 Montag, 6. Juni 2011
Year Harddisk iPod 1981 1982 1983 1984 1985 1986 1987 1988 1989 60.000.000 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 60.000.000.000 2000 2001 120.000.000.000 5.000.000.000 2002 2003 2004 2005 2006 320.000.000.000 16.000.000.000 2007 2008 1.000.000.000.000 32.000.000.000 2009 2010 4.000.000.000.000 2011 Montag, 6. Juni 2011

Recommend

Machine learning for smart apps Ole Winther Department for Applied Mathematics and Computer

Machine learning for smart apps Ole Winther Department for Applied Mathematics and Computer Science Technical University of Denmark (DTU) May 19, 2014 When I talk about mathematics. . . Statistical machine learning bioinformatics user data

477 views • 23 slides

Active Learning: Learning to see like a mathematician Walter Whiteley Geometer Mathematics and

Active Learning: Learning to see like a mathematician Walter Whiteley Geometer Mathematics and Statistics Graduate Programs in Mathematics, in Education, in Computer Science York University, Toronto Canada whiteley@mathstat.yorku.ca Some

484 views • 24 slides

Learning in Graphical Models Marco Chiarandini Department of Mathematics & Computer Science

Lecture 13 Learning in Graphical Models Marco Chiarandini Department of Mathematics & Computer Science University of Southern Denmark Learning Graphical Models Course Overview Unsupervised Learning Introduction Learning

819 views • 26 slides

Unsupervised Learning Marco Chiarandini Department of Mathematics & Computer Science

DM825 Introduction to Machine Learning Lecture 13 Unsupervised Learning Marco Chiarandini Department of Mathematics & Computer Science University of Southern Denmark k -means Outline EM Algorithm 1. k -means 2. Expectation Maximization

712 views • 16 slides

Computer Algebra or Computer Mathematics? James H. Davenport a July 11, 2012 Department of

Computer Algebra or Computer Mathematics? James H. Davenport a July 11, 2012 Department of Computer Science, University of Bath, Bath BA2 7AY, England J.H.Davenport@bath.ac.uk a The author was partially supported by the European OpenMath

883 views • 61 slides

Statistical Learning Marco Chiarandini Deptartment of Mathematics & Computer Science

Lecture 13 Statistical Learning Marco Chiarandini Deptartment of Mathematics & Computer Science University of Southern Denmark Slides by Stuart Russell and Peter Norvig Course Overview Introduction Uncertain knowledge and

334 views • 15 slides

Machine Learning and the Formalisation Of Mathematics: Research Challenges Lawrence C Paulson FRS

Machine Learning and the Formalisation Of Mathematics: Research Challenges Lawrence C Paulson FRS AITP, Aussois 2020 Supported by the ERC Advanced Grant ALEXANDRIA (Project GA 742178). 1. Introducing ALEXANDRIA Mathematicians are fallible Look

859 views • 29 slides

On Connected Sublevel Sets in Deep Learning Quynh Nguyen Department of Mathematics and Computer

On Connected Sublevel Sets in Deep Learning Quynh Nguyen Department of Mathematics and Computer Science Saarland University, Germany Objective: Understanding better the optimization landscape of deep neural networks { | ( )

574 views • 3 slides

Introduction Marco Chiarandini Department of Mathematics & Computer Science University of

DM825 Introduction to Machine Learning Lecture 1 Introduction Marco Chiarandini Department of Mathematics & Computer Science University of Southern Denmark Course Introduction Introduction Outline Supervised Learning 1. Course

610 views • 36 slides

Geometric View to Deep Learning David Xianfeng Gu 1 1 Computer Science & Applied Mathematics

Geometric View to Deep Learning David Xianfeng Gu 1 1 Computer Science & Applied Mathematics SUNY at Stony Brook University Center of Mathematical Sciences and Appications Harvard University Valse Webinar David Gu Geometric Understanding

1.08k views • 86 slides

Blended learning in a large first year mathematics course Poh Hillock School of Mathematics and

Blended learning in a large first year mathematics course Poh Hillock School of Mathematics and Physics The University of Queensland First Year in Mathematics Workshop 8 Melbourne, 12 th July 2019 CRICOS code 00025B UQ2U AIM: to redevelop

611 views • 21 slides

Mathematics 3670: Computer Systems Introduction Dr. Andrew Mertz Mathematics and Computer

Mathematics 3670: Computer Systems Introduction Dr. Andrew Mertz Mathematics and Computer Science Department Eastern Illinois University Fall 2012 Week 1: to do What When Read Chapter 1 this week Read Lab 1 handout before Thursday

606 views • 32 slides

Mathematics Teachers Beliefs about Teaching and Learning Mathematics Outline Introduction

RICE UNIVERSITY SCHOOL MATHEMATICS PROJECT (RUSMP) Mathematics Teachers Beliefs about Teaching and Learning Mathematics Outline Introduction Background Research Questions Method Results Conclusions 2 Purpose The purpose of this

835 views • 25 slides

Mathematics Agenda Joy of Learning Topical Coverage Level Focus School-Wide

Mathematics Agenda Joy of Learning Topical Coverage Level Focus School-Wide Strategy Exam Format Joy of Learning We design learning experiences to develop students appreciation for Mathematics. We make the learning

167 views • 14 slides

Contemporary Learning Supported by a 1 to 1 LaptopProgram

Contemporary Learning Supported by a 1 to 1 LaptopProgram St Joachims, 2015 Goal 1: Australian schooling promotes equity and excellence

590 views • 19 slides

Enabling students to become independent learners Dr Louise Walker School of Mathematics

Enabling students to become independent learners Dr Louise Walker School of Mathematics University of Manchester Transition from school to university Intensively Independent supported learning learning Success at university may depend on

309 views • 14 slides

Todays topics Teaching Discrete Mathematics Active Learning in Discrete Mathematics

Todays topics Teaching Discrete Mathematics Active Learning in Discrete Mathematics Discrete Mathematics Educational Technology Research at UW Big Ideas: Complexity Theory Richard Anderson University of Washington

806 views • 21 slides

Early Learning Success Through Talk and Play Words are everywhere! Supported by: Who are we?

Early Learning Success Through Talk and Play Words are everywhere! Supported by: Who are we? Supported by: Research says Supported by: Supported by: How Does it Work? Supported by: Vocabulary Words Vocabulary Words Vocabulary Words

495 views • 15 slides

G I A V C E I R H S C I T Y F O Mathematics and Computer Science Division

T uto rial on MPI The MessageP assing Interface Willi am Gropp O N A I L T A N L A B E O N R N A O T G O R R A Y U O N G I A V C E I R H S C I T Y F O Mathematics and Computer

1.96k views • 155 slides

How to Leverage a Large Dataset of Formalized Mathematics with Machine Learning? uller 1 Michael

1 How to Leverage a Large Dataset of Formalized Mathematics with Machine Learning? uller 1 Michael Kohlhase 1 Florian Rabe 1,2 Dennis M Computer Science, FAU Erlangen-N urnberg LRI, Universit e Paris Sud April 10, 2019 2 So, how?

343 views • 10 slides

Support Vector Machines Marco Chiarandini Department of Mathematics & Computer Science

DM825 Introduction to Machine Learning Lecture 8 Support Vector Machines Marco Chiarandini Department of Mathematics & Computer Science University of Southern Denmark Functional and Geometric Ma Optimal Margin Classifier Lagrange

282 views • 25 slides

Teaching and Learning Mathematics Forum for Action: Effective Practices in Mathematics Education

Teaching and Learning Mathematics Forum for Action: Effective Practices in Mathematics Education December 11, 2013 Current math instruction focuses on logic, critical thinking and problem solving as well as procedural knowledge, skill

678 views • 66 slides

Intelligent Computer Mathematics Intelligent Computing? OR Franz Lichtenberger Mathematics

Intelligent Computer Mathematics OR Mathematics for Intelligent Computer Mathematics Intelligent Computing? OR Franz Lichtenberger Mathematics for Intelligent Computing? Motivation Historical Remarks A Blend of Math Franz

944 views • 52 slides

Outline Part I: Formal Mathematics What Is Formal (Computer-Understandable) Mathematics?

A DVANCES IN F ORMAL M ATHEMATICS Josef Urban Czech Technical University in Prague 1 / 61 Outline Part I: Formal Mathematics What Is Formal (Computer-Understandable) Mathematics? Examples of Formal Proof What Has Been Formalized?

1.07k views • 71 slides