Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
20cs700 [2020-09-15] – [Synopsis] Martin Ziegler | 20cs700 [2020-09-17] – [Synopsis] Martin Ziegler | ||
---|---|---|---|
Line 29: | Line 29: | ||
a) | a) | ||
b) Computing Real Sequences: semi-decidability / strong undecidability of equality, no computable sequence contains all computable reals ([[https:// | b) Computing Real Sequences: semi-decidability / strong undecidability of equality, no computable sequence contains all computable reals ([[https:// | ||
- | 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, |