老蒋，你估计没学过多少逻辑学。First order logic， temporal logic等，没学过吧？

来源: 衡山老道 于 2026-05-14 12:55:44 [] [博客] [旧帖] [给我悄悄话] 阅读数 : (0 bytes)

所有跟帖： 

请您先登陆，再发跟帖！