# Computer science

### From HaskellWiki

(Difference between revisions)

EndreyMark (Talk | contribs) m (Categorizing: Category:Theoretical foundations. Table of contents.) |
EndreyMark (Talk | contribs) m (A link back to Exact real arithmetic -- in fact, it was this topic that forced me to create the separate ,,Computer science'' wikipage (with section ,,Computability theory'').) |
||

Line 11: | Line 11: | ||

Wikipedia's [http://en.wikipedia.org/wiki/Computability_theory Computability theory]. |
Wikipedia's [http://en.wikipedia.org/wiki/Computability_theory 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. |
||

[[Category:Theoretical foundations]] |
[[Category:Theoretical foundations]] |

## Revision as of 14:08, 22 April 2006

## Contents |

Wikipedia's Computer science.

Martín Escardó maintains a Computer science page, being both detailed and comprehensive.

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

## 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.