Personal tools

Computer science

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m (add headline ,,Introduction'')
(Motto: Computer Science is no more about computers than astronomy is about telescopes. Motto: ,,Computer Science is no more about computers than astronomy is about telescopes'' by E. W. Dijkstra)
Line 1: Line 1:
 
__TOC__
 
__TOC__
  +
  +
''Computer Science is no more about computers than astronomy is about telescopes''.
  +
  +
-- E. W. Dijkstra
   
 
== Introduction ==
 
== Introduction ==
Line 5: Line 9:
 
Wikipedia's [http://en.wikipedia.org/wiki/Computer_science Computer science].
 
Wikipedia's [http://en.wikipedia.org/wiki/Computer_science Computer science].
   
[http://www.cs.bham.ac.uk/~mhe/ Martín Escardó] maintains a [http://www.math.niu.edu/~rusin/known-math/index/68-XX.html Computer science] page, being both detailed and comprehensive.
+
[http://www.cs.bham.ac.uk/~mhe/ Martín Escardó] maintains a [http://www.math.niu.edu/~rusin/known-math/index/68-XX.html Computer science] page, being both detailed and comprehensive. The Dijkstra-quotation cited above comes from this page.
   
 
[http://mitpress.mit.edu/sicp/full-text/book/book.html Structure and Interpretation of Computer Programs] (by Harold Abelson and Gerald Jay Sussman
 
[http://mitpress.mit.edu/sicp/full-text/book/book.html Structure and Interpretation of Computer Programs] (by Harold Abelson and Gerald Jay Sussman

Revision as of 16:57, 22 April 2006

Contents


Computer Science is no more about computers than astronomy is about telescopes.

-- E. W. Dijkstra

1 Introduction

Wikipedia's Computer science.

Martín Escardó maintains a Computer science page, being both detailed and comprehensive. The Dijkstra-quotation cited above comes from this page.

Structure and Interpretation of Computer Programs (by Harold Abelson and Gerald Jay Sussman with Julie Sussman, foreword by Alan J. Perlis).

2 Computability theory

Wikipedia's Computability theory.

An interesting area related to computabilty theory: Exact real arithmetic. For me, it was surprising, how it connected problems in mathematical analysis, arithmetic and computability theory.