Questions tagged [computer-science]

Computer science is the study of the principles and use of computation.

Filter by
Sorted by
Tagged with
21
votes
9answers
3k views

“A computer program IS a proof”: Introducing rigor via programming

This provocative essay Igor Rivin. "Some Thoughts on the Teaching of Mathematics—Ten Years Later." Notices of the AMS, Jun/Jul 2014. (PDF download link). suggests that a discussion of Igor'...
19
votes
3answers
635 views

How can I discourage proof by patchwork?

I have a student who is working in their spare time on proving or disproving a conjecture of the form $$\exists x.\forall y.\phi(x,y).$$ Right now their strategy is to construct an $x$ and then show ...
6
votes
8answers
1k views

What should I learn after calculus?

I'm currently planning on taking AP Calculus BC and AP Statistics as a freshman in high school next year, and am looking to go into the computer science field. I was wondering what track I should ...