形式语义学学习笔记 | Zhechen's Personal Website

lzcwr / Gitalk-comments

comments of the website via gitalk

0 stars 0 forks source link

Open lzcwr opened 3 years ago

lzcwr commented 3 years ago

这学期上whp老师的形式语义学课程，做一些简单的记录.

教材：The Formal Semantics of Programming Languages_ An Introduction. Gylnn Winskel.

IMP: Simple Imperative Language 操作语义：MOS & SOS 指称语义：Denotational Semantics

154381386 commented 3 years ago

你好，你有这本教材一些练习题的答案吗，求帮助

lzcwr commented 3 years ago

@154381386 你好，你有这本教材一些练习题的答案吗，求帮助

非常抱歉...没有（

154381386 commented 3 years ago

@lzcwr

@154381386 你好，你有这本教材一些练习题的答案吗，求帮助

非常抱歉...没有（

那或者有没有一些课件例题什么的吗，这个学的有点吃力

lzcwr commented 3 years ago

@154381386

@lzcwr

@154381386 你好，你有这本教材一些练习题的答案吗，求帮助

非常抱歉...没有（

那或者有没有一些课件例题什么的吗，这个学的有点吃力

抱歉Orz，课件当时其实有几个，不过都没有存下来...

154381386 commented 3 years ago

@lzcwr

@154381386

@lzcwr

@154381386 你好，你有这本教材一些练习题的答案吗，求帮助

非常抱歉...没有（

那或者有没有一些课件例题什么的吗，这个学的有点吃力

抱歉Orz，课件当时其实有几个，不过都没有存下来...

好吧还是谢谢你，我照着笔记学吧