Our next meeting_篮球即时比分_nba比分直播-彩客网重点推荐

larsk
2024-02-18T16:55:43.883Z
type:structured-message
www.uio.no

Our next meeting will take place February 20 (Tuesday) 10:15.

We will discuss the S-m-n Theorem (Theorem 7.4.9). We may also discuss Section 7.5 (the proof of Kleene Normal Form Theorem).

We may discuss the exercises in Sec. 7.4.1 and 7.5.1.

If time permits, I will tell you a little bit about what you will find in Section 7.6. A link to the meeting will very soon be published at this website.