$msg = ""; $myaddress = "sacha" + "@" + "sachachua.com"; $page = "2003.04.08.php"; $page_title = "2003.04.08"; $page_updated = "2004-11-2106:44:1306:44:13-0500"; $maintainer = "sacha" + "@" + "sachachua.com"; require_once "include/calendar.php"; require_once "include/planner-include.php"; require_once "include/header.inc.php"; ?>
|C1||X||Buy two more patch cables|
"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."
- 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.
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.
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...
Some confusion about her age. I'll go with the vet's guess placing her at around a month old. My sister contends that she's far younger. At any rate, Catastrophix can walk around (albeit unsteadily), purr (quite delightfully), and snuggle (rather contentedly).
It's been hard to type with one hand, but it's worth it for that little furball.
Unfortunately I will probably have to more or less dress like a teacher next semester, and I feel an urge to be somewhat dressier than the T-shirt and shorts/pants guys at the CS department.
In other clothes news, my mom (in a fit of indulgence, no doubt) got me a red leather dress. Ooooooooh, goodie... =)