老蔣,你估計沒學過多少邏輯學。First order logic, temporal logic等,沒學過吧?

來源: 2026-05-14 12:55:44 [博客] [舊帖] [給我悄悄話] 本文已被閱讀: