Open Access. Powered by Scholars. Published by Universities.®

Education Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 8 of 8

Full-Text Articles in Education

Sociomathematical Norms And Automated Proof Checking In Mathematical Education: Reflections And Experiences, Merlin Carl Jul 2024

Sociomathematical Norms And Automated Proof Checking In Mathematical Education: Reflections And Experiences, Merlin Carl

Journal of Humanistic Mathematics

According to a widely held view, mathematical proofs are essentially (indications of) formal derivations, and thus in principle mechanically checkable (this view is defended, for example, by Azzouni [3]). This should in particular hold for the kind of simple proof exercises typically given to students of mathematics learning to write proofs. If that is so, then automated proof checking should be an attractive option for math education at the undergraduate level. An opposing view would be that mathematical proofs are social objects and that what constitutes a mathematical proof can thus not be separated from the social context in which …


An Undergraduate Consortium For Addressing The Leaky Pipeline To Computing Research, James C. Boerkoel Jr., Mehmet Ergezer Mar 2023

An Undergraduate Consortium For Addressing The Leaky Pipeline To Computing Research, James C. Boerkoel Jr., Mehmet Ergezer

All HMC Faculty Publications and Research

Despite an increasing number of successful interventions designed to broaden participation in computing research, there is still significant attrition among historically marginalized groups in the computing research pipeline. This experience report describes a first-of-its-kind Undergraduate Consortium (UC; https://aaai-uc.github.io/about) that addresses this challenge by empowering students with a culmination of their undergraduate research in a conference setting. The UC, conducted at the AAAI Conference on Artificial Intelligence (AAAI), aims to broaden participation in the AI research community by recruiting students, particularly those from historically marginalized groups, supporting them with mentorship, advising, and networking as an accelerator toward graduate school, AI research, …


Computational Thinking In Mathematics And Computer Science: What Programming Does To Your Head, Al Cuoco, E. Paul Goldenberg Jan 2021

Computational Thinking In Mathematics And Computer Science: What Programming Does To Your Head, Al Cuoco, E. Paul Goldenberg

Journal of Humanistic Mathematics

How you think about a phenomenon certainly influences how you create a program to model it. The main point of this essay is that the influence goes both ways: creating programs influences how you think. The programs we are talking about are not just the ones we write for a computer. Programs can be implemented on a computer or with physical devices or in your mind. The implementation can bring your ideas to life. Often, though, the implementation and the ideas develop in tandem, each acting as a mirror on the other. We describe an example of how programming and …


Broad Vision: The Art & Science Of Looking, Heather Barnett, John R. A. Smith Mar 2013

Broad Vision: The Art & Science Of Looking, Heather Barnett, John R. A. Smith

The STEAM Journal

Undergraduate students and academic staff from diverse disciplines in the arts and sciences investigated questions of mediated vision through a year-long interdisciplinary research project at the University of Westminster, London, United Kingdom. The Broad Vision project explored the perception and interpretation of microscopic worlds, and investigated the benefits and challenges of working across disciplinary divides in a university setting. This article describes the three-phase model for interdisciplinary learning and research developed through the project, providing a valuable case study for inquiry based art/science education.


Evaluating Java Applets For Teaching On The Internet, Michael R. Healy '04, Dale E. Berger, Victoria L. Romero '07, Christopher L. Aberson '99, Amanda Saw '11 Jan 2002

Evaluating Java Applets For Teaching On The Internet, Michael R. Healy '04, Dale E. Berger, Victoria L. Romero '07, Christopher L. Aberson '99, Amanda Saw '11

CGU Faculty Publications and Research

The Web Interface for Statistics Education (http://wise.cgu.edu) is a website built around interactive tutorials designed to teach introductory and advanced statistical concepts. The tutorials use Java applets that dynamically illustrate the statistical concepts being taught. By using Java applets, we teach statistics in a manner not possible in a traditional classroom environment. In this paper, we provide examples of the applets, illustrate how students use them, and we report the outcome of a study that examined tutorial effectiveness as a learning tool.


Implementing Educational Software And Evaluating Its Academic Effectiveness: Part Ii, Karen Jolicoeur, Dale E. Berger Oct 1988

Implementing Educational Software And Evaluating Its Academic Effectiveness: Part Ii, Karen Jolicoeur, Dale E. Berger

CGU Faculty Publications and Research

In Part I, published last month, we presented a successful classroom implementation plan for integrating educational software into elementary school classrooms. Implementing educational software successfully into classrooms is an essential prerequisite to achieving the second goal of the present research-evaluating how much students learned by using specific software programs. In Part II, we will measure how effective eight software programs were at teaching fifth grade students new fraction concepts and spelling words. In addition, we will examine the validity of teacher and student software ratings based on the effectiveness of each program.


Implementing Educational Software And Evaluating Its Academic Effectiveness: Part I, Karen Jolicoeur, Dale E. Berger Sep 1988

Implementing Educational Software And Evaluating Its Academic Effectiveness: Part I, Karen Jolicoeur, Dale E. Berger

CGU Faculty Publications and Research

Two major obstacles are responsible for the delay in getting good educational software into schools. First, software implementation is a complex process that many schools are simply not prepared to undertake. Second, there is very little empirical research available on the specific factors that make educational software effective, leaving it extremely difficult to separate good from poor quality software. We will describe a basic plan for implementing educational software into classrooms, incorporating a research design that permits educational researchers to measure the effectiveness of the software. Part I of this series of two articles presents a basic plan for implementing …


Do We Really Know What Makes Educational Software Effective? A Call For Empirical Research On Effectiveness, Karen Jolicoeur, Dale E. Berger Nov 1986

Do We Really Know What Makes Educational Software Effective? A Call For Empirical Research On Effectiveness, Karen Jolicoeur, Dale E. Berger

CGU Faculty Publications and Research

Empirical information on specific factors that make educational software effective in reaching instructional objectives would be of considerable value. The authors describe the current state of evaluation research with educational software and discuss how popular software review methods fall short of meeting our need to know how well specific programs work.