887 search results - page 13 / 178 » A Science of Reasoning |
FPLE
1995
14 years 10 days ago
1995
Computer science students need mathematical proof skills. At our University, these skills are being taught as part of various mathematics and computer science courses. To test the ...
TLCA
2005
Springer
14 years 2 months ago
2005
Springer
We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...
AIED
2005
Springer
14 years 2 months ago
2005
Springer
We have developed a range of critical thinking environments for science education that span several academic content areas, including human biology, geology and forestry. All envir...
SIGCSE
1999
ACM
14 years 1 months ago
1999
ACM
The wide-spread use of microprocessor based systems that utilize cache memory to alleviate excessively long DRAM access times introduces a new dimension in the quest to obtain goo...
IGPL
2010
13 years 7 months ago
2010
: Popper s suggestion of taking methodological norms as conventions is examined from the point of view of game theory. The game of research is interpreted as a game of persuasion, ...