46 search results - page 1 / 10 » Computer Science, Logic, Informatics Education |
JUCS
2006
13 years 4 months ago
2006
: Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called "Bologna process". We survey th...
SIGCSE
2005
ACM
13 years 10 months ago
2005
ACM
ICSE
2005
IEEE-ACM
14 years 4 months ago
2005
IEEE-ACM
Software engineering (SE) is very different in focus from traditional computer science: it is not just about computers and software, but as much about the context in which they ar...
SIGCSE
1990
ACM
13 years 8 months ago
1990
ACM
IIE
2008
13 years 4 months ago
2008
Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does...