Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| 23cs422 [2023-07-14] – created Martin Ziegler | 23cs422 [2023-10-09] (current) – [E-Learning] Martin Ziegler | ||
|---|---|---|---|
| Line 4: | Line 4: | ||
| - | * Lecturer: Martin Ziegler | + | * Lecturer: |
| - | * Schedule: Tuesdays and Thursdays, | + | * TAs: [[cs422@theoryofcomputation.asia|Hakyeong Kim and Abbas Mammadov]] (use only this email address!) |
| - | * Location: online, via Zoom | + | * Schedule: Tuesdays and Thursdays, |
| - | * TA: TBD | + | * Location: |
| * Language: English only | * Language: English only | ||
| - | * Grading: | + | * Grading: |
| + | * Midterm: October 19, 9: | ||
| + | * Final Exam: December 14, 9: | ||
| + | * Prerequisites: | ||
| ===== Synopsis/ | ===== Synopsis/ | ||
| - | We make a special pedagogical effort to avoid the arduous Turing machine formalism and instead employ a variant of WHILE programs. | + | We make a special pedagogical effort to avoid the arduous Turing machine formalism, and instead employ a variant of WHILE programs. |
| 0. Motivation | 0. Motivation | ||
| Line 23: | Line 25: | ||
| * Ackermann' | * Ackermann' | ||
| * LOOP programs | * LOOP programs | ||
| - | * and their capabilities | + | * and their in/capabilities |
| II. Advanced Computability ({{cs422b.ppt|ppt}}, | II. Advanced Computability ({{cs422b.ppt|ppt}}, | ||
| Line 88: | Line 90: | ||
| ===== E-Learning ===== | ===== E-Learning ===== | ||
| * [[https:// | * [[https:// | ||
| - | * [[https:// | + | * [[https:// |
| + | * [[https:// | ||
| * Due to the large number of students enrolled, we unfortunately cannot answer questions by email. \\ | * Due to the large number of students enrolled, we unfortunately cannot answer questions by email. \\ | ||
| Instead please use the KLMS Bulletin Board or visit the TAs during their office hours. | Instead please use the KLMS Bulletin Board or visit the TAs during their office hours. | ||