Personal tools

Computer science

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m (Categorizing: Category:Theoretical foundations. Table of contents.)
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.