10447 search results - page 48 / 2090 » The Philosophy of Computer Science |
INTERACT
1997
13 years 10 months ago
1997
This paper describes an innovative approach to teaching about human-computer interaction to a large class of students in their third year of a Computer Science major. Because of t...
SYNTHESE
2008
13 years 8 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
SIGCSE
2002
ACM
13 years 8 months ago
2002
ACM
As part of an NSF-funded IT Workforce grant, the authors conducted ethnographic research to provide deep understanding to the learning environment of computer science classrooms. ...
CSEE
2011
Springer
13 years 9 days ago
2011
Springer
Pex4Fun (http://www.pexforfun.com/)from Microsoft Research is a web-based serious gaming environment for teaching computer science. Pex4Fun can be used to teach and learn computer...
COMPUTER
2010
13 years 9 months ago
2010