Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
23cs422 [2023-08-26] – [Theory of Computation (CS422) in Fall 2023 at KAIST] Martin Ziegler23cs422 [2023-10-09] (current) – [E-Learning] Martin Ziegler
Line 5: Line 5:
  
   * Lecturer: [[cs422@theoryofcomputation.asia|Martin Ziegler]] (use only this email address!)   * Lecturer: [[cs422@theoryofcomputation.asia|Martin Ziegler]] (use only this email address!)
 +  * TAs: [[cs422@theoryofcomputation.asia|Hakyeong Kim and Abbas Mammadov]] (use only this email address!)
   * Schedule: Tuesdays and Thursdays, 10:30~12:00   * Schedule: Tuesdays and Thursdays, 10:30~12:00
   * Location: E3-1 #1101 and online/Zoom   * Location: E3-1 #1101 and online/Zoom
Line 13: Line 14:
   * Prerequisites: CS300 Introduction to Algorithms, CS204 Discrete Mathematics   * Prerequisites: CS300 Introduction to Algorithms, CS204 Discrete Mathematics
 ===== Synopsis/Syllabus: ===== ===== Synopsis/Syllabus: =====
-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 24: Line 25:
   * Ackermann's Function   * Ackermann's Function
   * LOOP programs   * LOOP programs
-  * and their capabilities +  * and their in/capabilities 
  
 II. Advanced Computability ({{cs422b.ppt|ppt}}, {{cs422b.pdf|pdf}}): II. Advanced Computability ({{cs422b.ppt|ppt}}, {{cs422b.pdf|pdf}}):
Line 89: Line 90:
 ===== E-Learning =====  ===== E-Learning ===== 
    * [[https://www.youtube.com/playlist?list=PLvcvykdwsGNG3TUu_dPMLdXMjVxLKpbzf|YouTube]]    * [[https://www.youtube.com/playlist?list=PLvcvykdwsGNG3TUu_dPMLdXMjVxLKpbzf|YouTube]]
-   * [[https://klms.kaist.ac.kr/|KLMS]] +   * [[https://while.schnabel.io/|WHILE program simulator]] 
 +   * [[https://klms.kaist.ac.kr/course/view.php?id=150560|KLMS]] 
    * 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.