Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
For questions about teaching mathematics in secondary education (in most countries approx. ages 10-18).
7
votes
"A computer program IS a proof": Introducing rigor via programming
The first poster said that
it's maybe not that a program is a proof, but the demonstration of correctness of an algorithm certainly is.
I would modify this slightly (although I agree with the c …
17
votes
4
answers
837
views
Historically Motivating Concepts
I have been reading this site for a while, and was glad to find an entire tag devoted to "concept motivation," which is currently my area of interest.
However, my particular focus has not been addres …