145 search results - page 20 / 29 » Basic Proof Skills of Computer Science Students |
MFCS
2010
Springer
13 years 5 months ago
2010
Springer
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...
ACSE
1997
ACM
13 years 11 months ago
1997
ACM
One of the major difficulties with teaching the first programming course is input/output. It is desirable to show students how to input data and output results early in the course...
ICIW
2009
IEEE
13 years 5 months ago
2009
IEEE
Using a learning management system (LMS) is a common practise nowadays. Such instruments are used in educational institutions to enhance and support the teaching act as well as in ...
SIGCSE
2008
ACM
13 years 7 months ago
2008
ACM
In this paper we present the design of a modern course in cluster computing and large-scale data processing. The defining differences between this and previously published designs...
SIGPLAN
2008
13 years 7 months ago
2008
Depending on individual department goals, undergraduate computer science educators teach theoretical concepts and skills with varying priorities on preparing students for continui...