Goodrich, M., Tamassia, R., Teaching the Analysis of Algorithms with Visual Proofs. Proceedings of the 29th S1GCSE technical sym- posium on Computer Science Education (1998), 207-211. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
PC-based Development Environments and a - Unix-Centric Curriculum Some (Correct)
....they did not like trying to watch a gdb session. However, it would still be beneficial to use intuition along with examples from the literature about engaging the students in general [7] in lowerlevel classes [5] We could also use examples for using animations to teach the analysis of algorithms [2] and operating systems algorithms [4] indicated that this type of demonstration. We should note that other literature [8] indicates that this might not be the case. During these experimental semesters, the immediate goal was not to determine whether there were measurable benefits to this type of ....
Goodrich, M., Tamassia, R., Teaching the Analysis of Algorithms with Visual Proofs. Proceedings of the 29th S1GCSE technical sym- posium on Computer Science Education (1998), 207-211.
PC-based development environments and a Unix-centric curriculum.. - Golub (2001) (Correct)
....just as they had not liked using gdb, they did not like trying to watch a gdb session. However, intuition along with examples from the literature about engaging the students in general [7] in lower level classes [5] as well as examples for using animations to teach the analysis of algorithms [2] and operating systems algorithms [4] indicated that this type of demonstration might still be beneficial. It should be noted that other literature [8] indicated that this might not be the case. During these experimental semesters, the immediate goal was not to determine whether there were ....
Goodrich, M., Tamassia, R., Teaching the Analysis of Algorithms with Visual Proofs. Proceedings of the 29 SIGCSE technical symposium on Computer Science Education (1998), 207-211.
Toys Are Us: Presenting Mathematical Concepts In Cs1/cs2 - Bucci, al. (2000) (Correct)
....models for the behavior of software components. 2. A LOW TECH APPROACH The challenge just described will not surprise computerscience educators. After all, computer science textbooks are full of pictures visualizing symbolic concepts, as are the chalkboards at the ends of our lectures [2]. Similarly, there are many clever computer animations of data structures and algorithms aimed at helping students visualize concepts otherwise presented symbolically (for example, 1, 3, 5] In addition to this excellent work, we would like to suggest a low tech approach to cultivating mental ....
Goodrich, M. and Tamassia, R., Teaching the Analysis of Algorithms with Visual Proofs, In Proc. 1998 ACM SIGCSE Symp., ACM, February 1998, pp. 207-211.
SCAPA User Manual - Pape (1999) (Correct)
....proof before reading its details. A very common and popular approach to increase the readability of textual proofs is the usage of pictures to describe or accompany proof steps. In computer science education pictorial descriptions have been used, for example, to teach the analysis of algorithms [Goodrich and Tamassia, 1998]. Even the potential of algorithm animations have been investigated for enhancing correctness proofs of graph algorithms [Gloor et al. 1992] An animation of Prim s algorithm for finding a minimum spanning tree of an undirected, weighted graph is used to accompany the textual version of a ....
Goodrich, M. T. and Tamassia, R. (1998). Teaching the analysis of algorithms with visual proofs. In Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, volume 30(1) of SIGCSE Bulletin, pages 207--211, New York. ACM Press.
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