145 search results - page 23 / 29 » Basic Proof Skills of Computer Science Students |
132
click to vote
ITICSE
2005
ACM
15 years 6 months ago
2005
ACM
concepts more concrete. The method has two main learning outcomes: • Language Specification – The goal of the assignment is to be able to build LEGO® creations on a standard g...
82
Voted
COCO
2009
Springer
15 years 7 months ago
2009
Springer
Devising an efficient deterministic – or even a nondeterministic sub-exponential time – algorithm for testing polynomial identities is a fundamental problem in algebraic comp...
103
Voted
SIGUCCS
2000
ACM
15 years 3 months ago
2000
ACM
Basic approaches to computer lab management range along a spectrum from total lockdown of lab computers to total freedom. Total lockdown, which can be implemented with system perm...
79
Voted
ITICSE
2009
ACM
15 years 6 months ago
2009
ACM
The topic of data structures has historically been taught with two major focuses: first, the basic definition and implementation of a small set of basic data structures (e.g. list...
219
Voted
Book
"This book evolved over the past ten years from a set of lecture notes developed while teaching the undergraduate Algorithms course at Berkeley and U.C. San Diego. Our way of ...