Author: Joseph P. La Salle
Publisher: American Mathematical Soc.
ISBN: 9780821867297
Category : Mathematics
Languages : en
Pages : 220
Book Description
The Influence of Computing on Mathematical Research and Education
Author: Joseph P. La Salle
Publisher: American Mathematical Soc.
ISBN: 9780821867297
Category : Mathematics
Languages : en
Pages : 220
Book Description
Publisher: American Mathematical Soc.
ISBN: 9780821867297
Category : Mathematics
Languages : en
Pages : 220
Book Description
Proceedings of Symposia in Applied Mathematics
Author:
Publisher:
ISBN: 9780821213261
Category : Mathematical physics
Languages : en
Pages : 205
Book Description
Publisher:
ISBN: 9780821213261
Category : Mathematical physics
Languages : en
Pages : 205
Book Description
Influence of Computing on Mathematical Research and Education
The Influence of Computing on Mathematical Research and Education
Author: Joseph P. LaSalle
Publisher: American Mathematical Soc.
ISBN: 0821813269
Category : Mathematics
Languages : en
Pages : 215
Book Description
Publisher: American Mathematical Soc.
ISBN: 0821813269
Category : Mathematics
Languages : en
Pages : 215
Book Description
Proof Technology in Mathematics Research and Teaching
Author: Gila Hanna
Publisher: Springer Nature
ISBN: 3030284832
Category : Education
Languages : en
Pages : 374
Book Description
This book presents chapters exploring the most recent developments in the role of technology in proving. The full range of topics related to this theme are explored, including computer proving, digital collaboration among mathematicians, mathematics teaching in schools and universities, and the use of the internet as a site of proof learning. Proving is sometimes thought to be the aspect of mathematical activity most resistant to the influence of technological change. While computational methods are well known to have a huge importance in applied mathematics, there is a perception that mathematicians seeking to derive new mathematical results are unaffected by the digital era. The reality is quite different. Digital technologies have transformed how mathematicians work together, how proof is taught in schools and universities, and even the nature of proof itself. Checking billions of cases in extremely large but finite sets, impossible a few decades ago, has now become a standard method of proof. Distributed proving, by teams of mathematicians working independently on sections of a problem, has become very much easier as digital communication facilitates the sharing and comparison of results. Proof assistants and dynamic proof environments have influenced the verification or refutation of conjectures, and ultimately how and why proof is taught in schools. And techniques from computer science for checking the validity of programs are being used to verify mathematical proofs. Chapters in this book include not only research reports and case studies, but also theoretical essays, reviews of the state of the art in selected areas, and historical studies. The authors are experts in the field.
Publisher: Springer Nature
ISBN: 3030284832
Category : Education
Languages : en
Pages : 374
Book Description
This book presents chapters exploring the most recent developments in the role of technology in proving. The full range of topics related to this theme are explored, including computer proving, digital collaboration among mathematicians, mathematics teaching in schools and universities, and the use of the internet as a site of proof learning. Proving is sometimes thought to be the aspect of mathematical activity most resistant to the influence of technological change. While computational methods are well known to have a huge importance in applied mathematics, there is a perception that mathematicians seeking to derive new mathematical results are unaffected by the digital era. The reality is quite different. Digital technologies have transformed how mathematicians work together, how proof is taught in schools and universities, and even the nature of proof itself. Checking billions of cases in extremely large but finite sets, impossible a few decades ago, has now become a standard method of proof. Distributed proving, by teams of mathematicians working independently on sections of a problem, has become very much easier as digital communication facilitates the sharing and comparison of results. Proof assistants and dynamic proof environments have influenced the verification or refutation of conjectures, and ultimately how and why proof is taught in schools. And techniques from computer science for checking the validity of programs are being used to verify mathematical proofs. Chapters in this book include not only research reports and case studies, but also theoretical essays, reviews of the state of the art in selected areas, and historical studies. The authors are experts in the field.
The Influence of Computers and Informatics on Mathematics and Its Teaching
Author: R. F. Churchhouse
Publisher: CUP Archive
ISBN: 9780521324021
Category : Mathematics
Languages : en
Pages : 164
Book Description
First published in 1986, the first ICMI study is concerned with the influence of computers and computer science on mathematics and its teaching in the last years of school and at tertiary level. In particular, it explores the way the computer has influenced mathematics itself and the way in which mathematicians work, likely influences on the curriculum of high-school and undergraduate students, and the way in which the computer can be used to improve mathematics teaching and learning. The book comprises a report of the meeting held in Strasbourg in March 1985, plus several papers contributed to that meeting.
Publisher: CUP Archive
ISBN: 9780521324021
Category : Mathematics
Languages : en
Pages : 164
Book Description
First published in 1986, the first ICMI study is concerned with the influence of computers and computer science on mathematics and its teaching in the last years of school and at tertiary level. In particular, it explores the way the computer has influenced mathematics itself and the way in which mathematicians work, likely influences on the curriculum of high-school and undergraduate students, and the way in which the computer can be used to improve mathematics teaching and learning. The book comprises a report of the meeting held in Strasbourg in March 1985, plus several papers contributed to that meeting.
Mathematics Education and Technology-Rethinking the Terrain
Author: Celia Hoyles
Publisher: Springer Science & Business Media
ISBN: 1441901469
Category : Education
Languages : en
Pages : 489
Book Description
Mathematics Education and Technology-Rethinking the Terrain revisits the important 1985 ICMI Study on the influence of computers and informatics on mathematics and its teaching. The focus of this book, resulting from the seventeenth Study led by ICMI, is the use of digital technologies in mathematics teaching and learning in countries across the world. Specifically, it focuses on cultural diversity and how this diversity impinges on the use of digital technologies in mathematics teaching and learning. Within this focus, themes such as mathematics and mathematical practices; learning and assessing mathematics with and through digital technologies; teachers and teaching; design of learning environments and curricula; implementation of curricula and classroom practice; access, equity and socio-cultural issues; and connectivity and virtual networks for learning, serve to organize the study and bring it coherence. Providing a state-of-the-art view of the domain with regards to research, innovating practices and technological development, Mathematics Education and Technology-Rethinking the Terrain is of interest to researchers and all those interested in the role that digital technology plays in mathematics education.
Publisher: Springer Science & Business Media
ISBN: 1441901469
Category : Education
Languages : en
Pages : 489
Book Description
Mathematics Education and Technology-Rethinking the Terrain revisits the important 1985 ICMI Study on the influence of computers and informatics on mathematics and its teaching. The focus of this book, resulting from the seventeenth Study led by ICMI, is the use of digital technologies in mathematics teaching and learning in countries across the world. Specifically, it focuses on cultural diversity and how this diversity impinges on the use of digital technologies in mathematics teaching and learning. Within this focus, themes such as mathematics and mathematical practices; learning and assessing mathematics with and through digital technologies; teachers and teaching; design of learning environments and curricula; implementation of curricula and classroom practice; access, equity and socio-cultural issues; and connectivity and virtual networks for learning, serve to organize the study and bring it coherence. Providing a state-of-the-art view of the domain with regards to research, innovating practices and technological development, Mathematics Education and Technology-Rethinking the Terrain is of interest to researchers and all those interested in the role that digital technology plays in mathematics education.
The Influence of Computers and Informatics on Mathematics and Its Teaching
Author: Bernard Cornu
Publisher:
ISBN:
Category : Algorithms
Languages : en
Pages : 150
Book Description
Publisher:
ISBN:
Category : Algorithms
Languages : en
Pages : 150
Book Description
Learning from Computers: Mathematics Education and Technology
Author: Christine Keitel-Kreidt
Publisher: Springer Science & Business Media
ISBN: 3642785425
Category : Education
Languages : en
Pages : 351
Book Description
The NATO Advanced Research Workshop on Mathematics Education and Technology was held in Villard-de-Lans, France, between May 6 and 11, 1993. Organised on the initiative of the BaCoMET (Basic Components of Mathematics Education for Teachers) group (Christiansen, Howson and Otte 1986; Bishop, Mellin-Olsen and van Dormolen 1991), the workshop formed part of a larger NATO programme on Advanced Educational Technology. Some workshop members had already participated in earlier events in this series and were able to contribute insights from them: similarly some members were to take part in later events. The problematic for the workshop drew attention to important speculative developments in the applications of advanced information technology in mathematics education over the last decade, notably intelligent tutoring, geometric construction, symbolic algebra and statistical analysis. Over the same period, more elementary forms of information technology had started to have a significant influence on teaching approaches and curriculum content: notably arithmetic and graphic calculators; standard computer tools, such as spreadsheets and databases; and computer-assisted learning packages and computer microworlds specially designed for educational purposes.
Publisher: Springer Science & Business Media
ISBN: 3642785425
Category : Education
Languages : en
Pages : 351
Book Description
The NATO Advanced Research Workshop on Mathematics Education and Technology was held in Villard-de-Lans, France, between May 6 and 11, 1993. Organised on the initiative of the BaCoMET (Basic Components of Mathematics Education for Teachers) group (Christiansen, Howson and Otte 1986; Bishop, Mellin-Olsen and van Dormolen 1991), the workshop formed part of a larger NATO programme on Advanced Educational Technology. Some workshop members had already participated in earlier events in this series and were able to contribute insights from them: similarly some members were to take part in later events. The problematic for the workshop drew attention to important speculative developments in the applications of advanced information technology in mathematics education over the last decade, notably intelligent tutoring, geometric construction, symbolic algebra and statistical analysis. Over the same period, more elementary forms of information technology had started to have a significant influence on teaching approaches and curriculum content: notably arithmetic and graphic calculators; standard computer tools, such as spreadsheets and databases; and computer-assisted learning packages and computer microworlds specially designed for educational purposes.
Mindstorms
Author: Seymour A Papert
Publisher: Basic Books
ISBN: 154167510X
Category : Education
Languages : en
Pages : 256
Book Description
In this revolutionary book, a renowned computer scientist explains the importance of teaching children the basics of computing and how it can prepare them to succeed in the ever-evolving tech world. Computers have completely changed the way we teach children. We have Mindstorms to thank for that. In this book, pioneering computer scientist Seymour Papert uses the invention of LOGO, the first child-friendly programming language, to make the case for the value of teaching children with computers. Papert argues that children are more than capable of mastering computers, and that teaching computational processes like de-bugging in the classroom can change the way we learn everything else. He also shows that schools saturated with technology can actually improve socialization and interaction among students and between students and teachers. Technology changes every day, but the basic ways that computers can help us learn remain. For thousands of teachers and parents who have sought creative ways to help children learn with computers, Mindstorms is their bible.
Publisher: Basic Books
ISBN: 154167510X
Category : Education
Languages : en
Pages : 256
Book Description
In this revolutionary book, a renowned computer scientist explains the importance of teaching children the basics of computing and how it can prepare them to succeed in the ever-evolving tech world. Computers have completely changed the way we teach children. We have Mindstorms to thank for that. In this book, pioneering computer scientist Seymour Papert uses the invention of LOGO, the first child-friendly programming language, to make the case for the value of teaching children with computers. Papert argues that children are more than capable of mastering computers, and that teaching computational processes like de-bugging in the classroom can change the way we learn everything else. He also shows that schools saturated with technology can actually improve socialization and interaction among students and between students and teachers. Technology changes every day, but the basic ways that computers can help us learn remain. For thousands of teachers and parents who have sought creative ways to help children learn with computers, Mindstorms is their bible.