167 search results - page 1 / 34 » The central role of mathematical logic in computer science |
SIGCSE
1990
ACM
14 years 2 months ago
1990
ACM
IIE
2008
13 years 11 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...
AO
2007
13 years 11 months ago
2007
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into...
ICFP
2003
ACM
14 years 10 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
WOLLIC
2009
Springer
14 years 5 months ago
2009
Springer