Nonstandard methods in combinatorics and theoretical computer science (Q1118589)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Nonstandard methods in combinatorics and theoretical computer science |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Nonstandard methods in combinatorics and theoretical computer science |
scientific article |
Statements
Nonstandard methods in combinatorics and theoretical computer science (English)
0 references
1989
0 references
This article gives an introduction into non-standard methods and a survey of some applications in combinatorics and theoretical computer science. Some emphasis is put on the use of internal set theory and the particular role which is played by monads. The key point to applications in theoretical computer science is the observation that many important aspects connected with computations are infinite whereas they can be treated as formerly finite objects in the non-standard approach.
0 references
theory of computation
0 references
non-standard methods
0 references
survey
0 references
internal set theory
0 references
monads
0 references
