Paper: Engaging Students with Theory through ACM Collegiate Programming Contests — education

Nikolay V. Shilov and Kwangkeun Yi

http://ropas.kaist.ac.kr/~kwang/paper/02-cacm-shyi.pdf

"Training sessions are good opportunities to present students with

challenging programming problems that cannot be solved without theoretical background in spite of simple formulation. The trainers should provide students with background theory as soon as students realize the programming complexity of these problems."

Related link:

- Kwangkeun Yi's site has a lot of papers on formal methods. Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers seems interesting.

Save to - del.icio.us - Digg it - reddit - StumbleUpon

RSS feed | Trackback URI

Comments »

No comments yet.

Name (required)
E-mail (required - never shown publicly)
Website / Blog address:
Your Comment (smaller size | larger size)
You may use <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong> <pre lang="" line=""> in your comment.

Subscribe without commenting

`

On This Day...