Category Archives: teaching

On this page:

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.

Paper: Laptops in the Classroom — education

Andrea Beth Campbell and Roy P. Pargas

http://www.cs.clemson.edu/~pargas/projects/recentPapers/Laptops.pdf

This paper is about mandatory laptop use in the classroom, but since
our labs are one-computer-one-student, the insights are useful. Here
were the uses they observed:

- posting instructional material online
– animating and demonstrating concepts
– collaborative learning exercises
– instant feedback
– automatic program execution and visualization
– evaluation and testing
– communication

The instant feedback thing looks particularly useful, and I will certainly try to write an online system for that – or adapt http://www.moodle.org, which greatly impressed me when I last checked it.

Paper: A Mentor Program in CS1 — education

Amanda Miller, Judy Kay

I can’t find a free online URL for this, but it’s in the ACM Digital Library.

Maybe it might be a good idea to have compulsory group mentoring for freshmen computer science students…

Computer science education research processes — education

http://www.cs.usyd.edu.au/~judy/CSERP/ is the course page for a class
that deals with computer science education research. This is the sort
of stuff I want to get into. If you come across anything related, please
tell me – [email protected] . Thanks! =)

DISCS local number 5660 5661

The Department of Information Systems and Computer Science
(http://discs.ateneo.net) can be reached at +632 426 6001 loc 5660 or
5661.

Some computer science education links — education

Some computer science education links can be found at http://www.iste.org/LL/30/2/resources.cfm .