#### Filter Results:

#### Publication Year

1989

1991

#### Publication Type

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

Computing has supplied mathematics with a new vocabulary of algorithms and is holding out the promise that mathematics can be implemented. Algorithms and proofs can now be seen as the same type of object. This new vision of mathematics as a very high level programming language suggests that mathematics may be transformed so that it is more in harmony with… (More)

The concept of a non-computable function has been valuable in showing absolute limits to our power to compute. But it is problematically oxymoronic, particular in computer science classes, since functions are generally understood algorithmically, as objects which can be computed. This paper presents an alternative explanation for functions usually regarded… (More)

A theoretical trend in the development of undergraduate computer science curricula is described. While this curriculum trend can be seen as a natural evolution of a discipline, there are other reasons for it. An opposite trend can be observed that seeks to integrate theory and practice in the undergraduate curriculum. We offer general guidelines based on… (More)

- ‹
- 1
- ›