Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
20cs700 [2020-09-10] – [Synopsis] Martin Ziegler | 20cs700 [2020-09-17] – [Synopsis] Martin Ziegler | ||
---|---|---|---|
Line 28: | Line 28: | ||
**II. Computability theory over the Reals**: | **II. Computability theory over the Reals**: | ||
a) | a) | ||
- | b) Computing Real Sequences: semi-decidability / strong undecidability of equality, no computable sequence contains all computable reals \\ | + | b) Computing Real Sequences: semi-decidability / strong undecidability of equality, no computable sequence contains all computable reals |
- | c) Computing Real Functions: closure under composition and restriction and sequences, necessarily continuous, computable Weierstrass Theorem \\ | + | c) Computing Real Functions: closure under composition and restriction and sequences, necessarily continuous, computable Weierstrass Theorem |
d) Advanced Un/ | d) Advanced Un/ | ||
e) Multi-Functions & Enrichment: generalized restriction, | e) Multi-Functions & Enrichment: generalized restriction, |