Results 1 to 10 of about 13,279 (258)
Instance reducibility and Weihrauch degrees [PDF]
Logical Methods in Computer Science, 2022 We identify a notion of reducibility between predicates, called instance reducibility, which commonly appears in reverse constructive mathematics. The notion can be generally used to compare and classify various principles studied in reverse constructive
Andrej Bauer
doaj +1 more source
Overlap Algebras: a Constructive Look at Complete Boolean Algebras [PDF]
Logical Methods in Computer Science, 2020 The notion of a complete Boolean algebra, although completely legitimate in constructive mathematics, fails to capture some natural structures such as the lattice of subsets of a given set.
Francesco Ciraulo, Michele Contente
doaj +1 more source
Foundations of Mathematics and Mathematical Practice. The Case of Polish Mathematical School
Studia Historiae Scientiarum, 2022 The foundations of mathematics cover mathematical as well as philosophical problems. At the turn of the 20th century logicism, formalism and intuitionism, main foundational schools were developed.
Jan Woleński
doaj +1 more source
Microteaching and Peer Assessment in Mathematics Teaching Practice
Brock Education: a Journal of Educational Research and Practice, 2023 Considering the characteristics that teachers should have, concepts such as critical thinking, active learning, taking responsibility, evaluation, analysis, self-evaluation and reflective thinking are important.
Aziz İlhan +2 more
doaj +1 more source
Kant, Gödel, and the problem of synthetic a priori judgements [PDF]
Кантовский сборник, 2017 Debates over Kant’s famous postulate about the existence of synthetic a priori judgements in mathematics, formulated in the Critique of Pure Reason, have been raging for over two centuries.
Pushkarsky A. G.
doaj +1 more source
Variations on Noetherianness [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 In constructive mathematics, several nonequivalent notions of finiteness exist. In this paper, we continue the study of Noetherian sets in the dependently typed setting of the Agda programming language.
Denis Firsov +2 more
doaj +1 more source
Julius Kruopis – the pioneer of applied statistics in Lithuania
Lithuanian Journal of Statistics, 2023 Julius Kruopis was born on 21.02.1941 in Utena district. In 1963 he graduated from Vilnius University, Faculty of Physics and Mathematics. In 1964–1966 he worked as a trainee lecturer at the Department of Probability Theory and Number Theory of the ...
Vilijandas Bagdonavičius +3 more
doaj +3 more sources
TIMSS 2003 mathematics cognitive domains [PDF]
Zbornik Instituta za pedagoška istraživanja, 2002 Mathematical tasks can be classified in a number of ways. While Galbraith & Haines (2001), for example, distinguish among mechanical, interpretative and constructive tasks, Smith et at.
Kadijević Đorđe M.
doaj +1 more source
Journal of Learning for Development, 2022 The present day school system curtails children’s natural growth and interferes with their freedom to explore. It is here that teachers have an opportunity to engage meaningfully with the student community, and make them and society aware of the ...
Tanuja Khan, Sheena Thomas
doaj +1 more source
Problem-based learning textbook: Its effect on improving creative thinking skills
Al-Jabar, 2023 Mathematics textbooks that provide more descriptions of material and routine problems used so far cannot facilitate students in active learning activities.
Siti Annisah +3 more
doaj +1 more source