GreeeenTea 分享
16 years ago
今天在學□○◇¬的CTL and LPTL 像是這種邏輯-->∃φ1Uφ2
latest #8
萬萬
16 years ago
LTL
Minerva3411
16 years ago
這高一先修班不是有講過一點點....XDD...至少這些符號我是在高一先修班就見過啦~數學課唷~我愛數學課!!!YA!!
萬萬
16 years ago
CTL其實比較難...
立即下載
GreeeenTea
16 years ago
我覺得都很難= = 而且不知道學這個幹麻用的 Orz
Minerva3411
16 years ago
算數學啊~好玩哦!!! XDD
萬萬
16 years ago
CTL是用在MODLE CHECK吧
GreeeenTea
16 years ago
都不懂 口亨~
萬萬
16 years ago
科科~
back to top