Mathematics and programming. a revolution in the art of effective reasoning (original) (raw)
Related papers
Mathematics and programming: some studies
2008
A programming approach to mathematics
Computers & Education, 1986
Programming as a mathematical instrument: the implementation of an analytic framework
2020
The Marriage of Mathematics and Programming
Anais do XXX Simpósio Brasileiro de Informática na Educação (SBIE 2019), 2019
Mathematical Logic and its Applications to Computer Science
2019
Programming-languages as a conceptual framework for teaching mathematics
Interactive Learning Environments, 2011
Programming as a mathematical activity
MSOR Connections
The challenge of computer mathematics
Philosophical Transactions of The Royal Society A: Mathematical, Physical and Engineering Sciences, 2005
Programming, mathematical reasoning and sense-making
International Journal of Mathematical Education in Science and Technology
Teaching the Mathematics of Software Design
Formal Methods in the Teaching Lab, Workshop at FM 2006, 2008
Algorithms and Logic as Programming Primers
Communications in Computer and Information Science, 2019
Computational Thinking in Mathematics and Computer Science: What Programming Does to Your Head
Journal of humanistic mathematics, 2021
Journal of Technology and Innovation, 2019
Communicating Mathematics: Useful Ideas from Computer Science
The American Mathematical Monthly, 1995
The Automation of Mathematical Reasoning
Synthese, 2003
The new role of mathematical logic: A tool for computer science
Information Sciences, 1991
Empowering mathematics education through programming
Journal of Mathematics and Science Teacher
Artificial Intelligence, 1974
The role of programming: towards experimental mathematics
1993
Mathematics That Makes Computers Possible
2
Mathematics for Computer Science MIT book
Mathematics for Computer Science, 2017
Mathematics and Computer Science: The Interplay
Current Science, 2005
Striving for mathematical thinking
ACM SIGCSE Bulletin, 2001
The Logic of Computer Programming
IEEE Transactions on Software Engineering, 2000
Mathematics for Computer Science
Mathematically Rigorous Software Design
Improving mathematically oriented programming skills in computer science studies
2002
Software: Practice and Experience, 1983