Computer science
From HaskellWiki
(Difference between revisions)
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.
