145 search results - page 13 / 29 » Basic Proof Skills of Computer Science Students |
CSEE
1999
Springer
13 years 12 months ago
1999
Springer
Real-world case studies are important to complement the academic skills and knowledge acquired by computer science students. In this paper we relate our experiences with a course ...
CHI
1995
ACM
13 years 11 months ago
1995
ACM
We describe “Belvedere,” a system to support students engaged in critical discussion of science and public policy issues. The design is intended to address cognitive and metac...
SIGCSE
2008
ACM
13 years 7 months ago
2008
ACM
Research experiences for undergraduates are considered an effective means for increasing student retention and encouraging undergraduate students to continue on to graduate school...
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
RTA
2010
Springer
13 years 11 months ago
2010
Springer
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...