批踢踢實業坊
›
看板
logic
關於我們
聯絡資訊
返回看板
作者
Hseuler (藍色貍貓)
看板
logic
標題
[請益] 一階邏輯的不可判定
時間
Fri Dec 5 00:50:14 2008
要如何證明? 和停機問題有關係嗎? 謝謝 --
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.169.235.148
推
dementia
:ㄜ…有關 只是有點遠…XD
12/06 02:42