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-09-12] – [E-Learning] Martin Ziegler23cs422 [2023-10-09] (current) – [E-Learning] Martin Ziegler
Line 14: 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 25: 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 90: 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://while.schnabel.io/|WHILE program simulator]]
    * [[https://klms.kaist.ac.kr/course/view.php?id=150560|KLMS]]     * [[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.