Publication Date
| In 2025 | 0 |
| Since 2024 | 0 |
| Since 2021 (last 5 years) | 2 |
| Since 2016 (last 10 years) | 2 |
| Since 2006 (last 20 years) | 2 |
Descriptor
| Accuracy | 2 |
| Programming Languages | 2 |
| Teaching Methods | 2 |
| Undergraduate Students | 2 |
| Age Differences | 1 |
| Body Composition | 1 |
| Body Height | 1 |
| Body Weight | 1 |
| Correlation | 1 |
| Engineering Education | 1 |
| Females | 1 |
| More ▼ | |
Publication Type
| Journal Articles | 2 |
| Tests/Questionnaires | 2 |
| Reports - Descriptive | 1 |
| Reports - Research | 1 |
Education Level
| Higher Education | 2 |
| Postsecondary Education | 2 |
Audience
Location
| United Kingdom | 1 |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkThoma, Athina; Iannone, Paola – International Journal of Research in Undergraduate Mathematics Education, 2022
This exploratory study reports on characteristics of proof production and proof writing observed in the work of first-year university students who took part in workshops on the theorem prover LEAN (https://leanprover.github.io). These workshops were voluntary and offered alongside a transition to proof module in a UK university. Through…
Descriptors: Validity, Mathematical Logic, Mathematics Instruction, Undergraduate Students
Johnson, Roger W. – Journal of Statistics and Data Science Education, 2021
Percentage of body fat, age, weight, height, and 14 circumference measurements (e.g., waist) are given for 184 women aged 18-25. Body fat, one measure of health, was accurately determined by an underwater weighing technique which requires special equipment and training of the individuals conducting the process. Modeling body fat percentage using…
Descriptors: Body Composition, Statistics Education, Teaching Methods, Age Differences
