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-01] – [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: online, via Zoom +  * Location: E3-1 #1101 and online/Zoom
-  * TA: [[cs422@theoryofcomputation.asia|TBD]] (use only this email address!)+
   * Language: English only   * Language: English only
   * Grading: Attendance/Quiz 40%, Homework 20%, Midterm exam 20%, Final exam 20%   * Grading: Attendance/Quiz 40%, Homework 20%, Midterm exam 20%, Final exam 20%
   * Midterm: October 19, 9:00~11:45   * Midterm: October 19, 9:00~11:45
   * Final Exam: December 14, 9:00~11:45   * Final Exam: December 14, 9:00~11:45
 +  * 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://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.