Results 221 to 230 of about 16,392 (251)

Logic, Foundations of Mathematics, and Computability Theory

1977
I. Formal Development of the Theory of Quantum Logic.- Spectral Theory in Quantum Logics.- Semantics of the Minimal Logic of Quantum Mechanics.- Representations of Groups as Automorphisms on Orthomodular Lattices and Posets.- The Conditional in Abstract and Concrete Quantum Logic.- On the Logical Structure of Quantum Mechanics.- II.
openaire   +1 more source

Characterising computational thinking in mathematics education: a literature-informed Delphi study

Research in Mathematics Education, 2021
Sylvia Patricia van Borkulo, Paul Drijvers, Maria Kallia   +2 more
exaly  

Integration of computational thinking in K-12 mathematics education: a systematic review on CT-based mathematics instruction and student learning

International Journal of STEM Education, 2023
Biyao Liang, Ching Sing Chai, NG Oi Lam
exaly  

Introduction to Mathematics for Computational Biology

Techniques in Life Science and Biomedicine for the Non-expert, 2023
Bruno Carpentieri, Paola Lecca
exaly  

Exploring the multifaceted roles of mathematics learning in predicting students' computational thinking competency

International Journal of STEM Education, 2023
Silvia Wen‐Yu Lee
exaly  

A calculus for the mathematical theory of computation

1974
openaire   +1 more source

Computational thinking and mathematics using Scratch: an experiment with sixth-grade students

Interactive Learning Environments, 2020
Jose-Manuel Saez-López, José Antonio Rodríguez-Martínez, José A. González-Calero   +2 more
exaly  

Computability Theory and Foundations of Mathematics

2022
openaire   +1 more source

New Trends in Applied Analysis and Computational Mathematics

Advances in Intelligent Systems and Computing, 2021
exaly  

Bridging the Gap Between Argumentation Theory and the Philosophy of Mathematics

Foundations of Science, 2008
Simon Colton, Alison Pease
exaly