217 search results - page 6 / 44 » Some Thoughts on Using Computers to Teach Argumentation |
SIGCSE
2005
ACM
15 years 3 months ago
2005
ACM
The author shares techniques used in a successful "Ethics and Professionalism" class at California State University, San Bernardino. The author describes active learning...
COCO
2009
Springer
15 years 4 months ago
2009
Springer
Starting with Kilian (STOC ‘92), several works have shown how to use probabilistically checkable proofs (PCPs) and cryptographic primitives such as collision-resistant hashing to...
CCGRID
2005
IEEE
15 years 3 months ago
2005
IEEE
The development of teaching materials for future software engineers is critical to the long term success of the Grid. At present however there is considerable turmoil in the Grid ...
CSR
2007
Springer
15 years 4 months ago
2007
Springer
t) Yuri Gurevich Microsoft Research The talk reflects recent joint work with Nachum Dershowitz [4]. In 1936, Church suggested that the recursive functions, which had been defined...
121
click to vote
SIGCSE
2002
ACM
14 years 9 months ago
2002
ACM
Empirical evidence shows the ability for computer technology to deliver on its promises of enhancing our quality of life relies on how well the application fits our understanding ...