Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
| 18cs493 [2018-07-22] – [Synopsis] Martin Ziegler | 18cs493 [2018-07-25] – [E-Learning] Martin Ziegler | ||
|---|---|---|---|
| Line 52: | Line 52: | ||
| * Thu, July 26, 12: | * Thu, July 26, 12: | ||
| in E3-1 #3444 | in E3-1 #3444 | ||
| - | {{ :: | + | ==== Synopsis ==== |
| - | - {{18cs493a.pdf|Introduction and Motivation}} | + | - {{18cs493a.pdf|Introduction and Motivation}} |
| - | - {{18cs493b.pdf|Discrete Computation}}: | + | - {{18cs493b.pdf|Discrete Computation}} |
| * Halting Problem | * Halting Problem | ||
| * Un/ | * Un/ | ||
| Line 61: | Line 61: | ||
| * Complexity classes P, NP, EXP | * Complexity classes P, NP, EXP | ||
| * (Polynomial-time) Reduction | * (Polynomial-time) Reduction | ||
| - | - {{18cs493c.pdf|Computing over the Reals}} | + | - {{18cs493c.pdf|Computing over the Reals}} |
| * Computable Real numbers: non/ | * Computable Real numbers: non/ | ||
| * Equality, real sequences and limits | * Equality, real sequences and limits | ||
| Line 67: | Line 67: | ||
| * Computational cost, compactness, | * Computational cost, compactness, | ||
| * Uncomputable derivative | * Uncomputable derivative | ||
| - | - {{18cs493d.pdf|Exact Real Computation}} | + | - {{18cs493d.pdf|Exact Real Computation}} |
| * Non-extensionality, | * Non-extensionality, | ||
| * Semantics of tests and choose() | * Semantics of tests and choose() | ||
| * iRRAM library | * iRRAM library | ||
| * Example Algorithms | * Example Algorithms | ||
| - | - {{18cs493e.pdf|Real Complexity Theory}} | + | - {{18cs493e.pdf|Real Complexity Theory}} |
| * Polynomial-time reals | * Polynomial-time reals | ||
| * Polynomial-time functions | * Polynomial-time functions | ||
| Line 97: | Line 97: | ||
| * {{18cs493ii.pdf|Homework #2}} consists of one large problem to be solved and submitted in English **on paper** in the lecture on July 17 (Tuesday) | * {{18cs493ii.pdf|Homework #2}} consists of one large problem to be solved and submitted in English **on paper** in the lecture on July 17 (Tuesday) | ||
| * {{18cs493iii.pdf|Homework #3}} consists of two problems. Problem 6 is to be solved and submitted in English **on paper** in the lecture on July 24 (Tuesday). Problem 7 is to be solved and submitted in English via [[mailto: | * {{18cs493iii.pdf|Homework #3}} consists of two problems. Problem 6 is to be solved and submitted in English **on paper** in the lecture on July 24 (Tuesday). Problem 7 is to be solved and submitted in English via [[mailto: | ||
| + | * {{18cs493exam.pdf|Written Exam}} | ||