User loginNavigation 
service course in logic and logic programming: crazy?This coming fall, I'm teaching our department's service course for nonmajors. The topic is open, and in the past I've offered a version using Mark Guzdial's Pythonbased image processing course and another surveying algorithms and algorithm analysis (a la David Harel's Algorithmics). For this fall, I'm thinking about offering a course introducing programming from the logic programming point of view. The students will, for the most part, have the mathematical maturity of Oregon high school graduates who are afraid of math, which is to say, essentially nothing. Almost none of them will have any background in either programming or logic, and I'll have the standard "fear factor" to overcome, as well. At a minimum, then, I'll have to include a few weeks on propositional logic before diving in to actual programming. My inclination for programming is to use Prolog, probably the SWI compiler, for its fairly rich standard library. Beyond that, however, I'm pretty much at sea, and would really appreciate some suggestions. I've never taught a logic programming course before (other than as a component in a seniorlevel PL class), certainly not at such a low level, and this is not, in general, an area of expertise for me. If you were to teach such a course (or if you have already), what would you consider an appropriate range and ordering of topics? Any ideas for cool applications? Sudoku solvers are a neat possibility: I'd love other ideas. Do you know of similar courses that have been successfully deployed? Is this idea insane? By jlasseter at 20080510 17:11  LtU Forum  previous forum topic  next forum topic  other blogs  5362 reads

Browse archives
Active forum topics 
Recent comments
13 weeks 3 days ago
13 weeks 3 days ago
13 weeks 3 days ago
35 weeks 4 days ago
39 weeks 6 days ago
41 weeks 3 days ago
41 weeks 3 days ago
44 weeks 1 day ago
48 weeks 5 days ago
48 weeks 5 days ago