Sciweavers

7962 search results - page 388 / 1593
» Conceptions of information science
Sort
View
SIGCSE
2009
ACM
151views Education» more  SIGCSE 2009»
16 years 7 months ago
A graphics package for the first day and beyond
We describe cs1graphics, a new Python drawing package designed with pedagogy in mind. The package is simple enough that students can sit down and make use of it from the first day...
Michael H. Goldwasser, David Letscher
SIGADA
2007
Springer
16 years 28 days ago
Using SPARK for a beginner's course on reasoning about imperative programs
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
Kung-Kiu Lau
ITICSE
2004
ACM
16 years 7 days ago
Experiences with teaching design patterns
In this paper, we present an assignment for a course on Design patterns at the masters level, where students have to adapt an existing program to meet additional requirements. We ...
Sylvia Stuurman, Gert Florijn
SIGCSE
2010
ACM
158views Education» more  SIGCSE 2010»
15 years 7 months ago
The benefits of pairing by ability
An analysis of data from 259 CS1 students is performed to compare the performance of students who were paired by demonstrated ability to that of students who were paired randomly ...
Grant Braught, John MacCormick, Tim Wahls
STACS
2010
Springer
16 years 1 months ago
On Optimal Heuristic Randomized Semidecision Procedures, with Application to Proof Complexity
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj´ıˇcek and P...
Edward A. Hirsch, Dmitry Itsykson