See this document in CiteSeerX!

Teaching Discrete Structures with SML (2002)  (Make Corrections)  
Christelle Scharff, Andrew Wildenberg



  Home/Search   Context   Related

 
View or download:
sunysb.edu/~awilden/rese...fdpefinal.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  sunysb.edu/~awilden/r...rawpapers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We describe the benefits of using SML to teach the Discrete Structures course described in the ACM Computer Science curriculum. When students in a Discrete Structures course have no prior programming experience, SML can be used to familiarize students with recursion and to illustrate various topics introduced in the course without teaching programming per se. At the same time, it reinforces the links between mathematics and CS, making Discrete Structures more relevant. SML also makes it easy to ... (Update)

Active bibliography (related documents):   More   All
0.5:   Software Visualization As A Pedagogical Tool.. - Eisenstadt, Price.. (1993)   (Correct)
0.3:   Why HyperTalk Debugging is More Painful than it Ought To Be - Eisenstadt (1993)   (Correct)
0.3:   An Account Of The Conceptualizations Underlying Buggy.. - Eisenstadt, Breuker   (Correct)

Similar documents based on text:   More   All
1.1:   Oliver: an OnLine Inference and VERification system - Wildenberg, Scharff (2002)   (Correct)
0.4:   A First Course in Program Verification and the Semantics of.. - Gumb   (Correct)
0.3:   Algebraic Combinatorics in Bayreuth - Kerber (1995)   (Correct)

BibTeX entry:   (Update)

@misc{ scharff-teaching,
  author = "Christelle Scharff and Andrew Wildenberg",
  title = "Teaching Discrete Structures with {SML}",
  url = "citeseer.ist.psu.edu/scharff02teaching.html" }
Citations (may not include all citations):
86   Functional Programming (context) - Field, Harrison - 1988
79   Elements of ML Programming (context) - Ullman - 1998
20   The functional approach to programming (context) - Cousineau, Mauny - 1998
5   The Computer as a Medium for Exploring Mathematics (context) - Abelson, diSessa - 1981
4   Computing curricula (context) - Roberts, Cover et al. - 2001
4   Using visualization to teach novices recursion - Dann, Cooper et al. - 2001
3   Programmers' mental models of their programming tasks: The i.. (context) - Kahney, Eisenstadt - 1982
2   What do novice programmers know about recursion (context) - Kahney - 1983
1   Logo as a language to teach non-majors the essentials of pro.. (context) - Brownell - 1988
1   Problems in comprehending recursion and suggested solutions - Sooriamurthi - 2001
1   Adagide: A friendly introductory programming environment for.. (context) - Carlisle, Chamillard - 1998
1   Animating recursion as an aid to instruction (context) - Wilcocks, Sanders - 1994
1   The importance of mathematics to the software practitioner (context) - Baldwin, Henderson - 2002
1   Engineers need mathematics but can we make it interesting (context) - Wilkinson, Matthew et al. - 2001
http://webwork.math.rochester.edu

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC