#### Filter Results:

#### Publication Year

1989

1991

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Newcomb Greenleaf
- Constructivity in Computer Science
- 1991

- Newcomb Greenleaf
- SIGCSE
- 1989

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)

- Judith D. Wilson, Newcomb Greenleaf, Robert Trenary
- SIGCSE
- 1989

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)

- Newcomb Greenleaf
- SIGCSE
- 1990

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)

- ‹
- 1
- ›