[理工] [離散]-中正96-資工
http://www.cs.ccu.edu.tw/recruit/MasterExam/96math.pdf
第9題:請問是要以NFA還DFA哪種去解?
第10題:
假設 R(x)表示x為rational number
M(x)表示x為multiple of 7
I(x)表示x為integer
Symbolic form 如下
存在x, [R(x)→M(x)]
所有x, [I(x)→R(x)]
-----------------------
∴存在x, [I(x)→M(x)]
然後就不會了....OTL
請問接下來要怎麼去推論@@"
謝謝!!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.138.226.62
推
03/23 18:12, , 1F
03/23 18:12, 1F
討論串 (同標題文章)
完整討論串 (本文為第 1 之 4 篇):