Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
predicate_library [2014/04/06 14:44] nikolaj |
predicate_library [2014/10/25 16:49] nikolaj |
||
|---|---|---|---|
| Line 10: | Line 10: | ||
| | ... | ... | | | ... | ... | | ||
| | category | [[Category theory]] | | | category | [[Category theory]] | | ||
| - | | compact | [[Topological space]] | | ||
| | ... | ... | | | ... | ... | | ||
| | ... | ... | | | ... | ... | | ||
| Line 25: | Line 24: | ||
| | decides | [[Turing machine as partial function]] | | | decides | [[Turing machine as partial function]] | | ||
| | decides in time | [[Turing machine as partial function]] | | | decides in time | [[Turing machine as partial function]] | | ||
| + | | ... | ... | | ||
| + | | ... | ... | | ||
| + | | dependent function in set theory | [[function]] | | ||
| + | | ... | ... | | ||
| | ... | ... | | | ... | ... | | ||
| | ... | ... | | | ... | ... | | ||
| Line 47: | Line 50: | ||
| | ... | ... | | | ... | ... | | ||
| | ... | ... | | | ... | ... | | ||
| - | | ... | ... | | ||
| - | | Hausdorff space | [[Neighbourhood]] | | ||
| | ... | ... | | | ... | ... | | ||
| | holomorphic | [[Fréchet derivative]] | | | holomorphic | [[Fréchet derivative]] | | ||
