If sequence of state matters, it's temporal logic...



所有跟贴·加跟贴·新语丝读书论坛http://www.xys.org/cgi-bin/mainpage.pl

送交者: Dominatus 于 2005-4-15, 08:48:22:

回答: 这跟时序逻辑有关系吗,晕 由 feiyue999 于 2005-4-15, 08:13:19:

Even if you change to boxes, box A has to be opened *before* box B in order for your first logic to work, so it's temporal logic.




所有跟贴:


加跟贴

笔名: 密码(可选项): 注册笔名请按这里

标题:

内容(可选项):

URL(可选项):
URL标题(可选项):
图像(可选项):


所有跟贴·加跟贴·新语丝读书论坛http://www.xys.org/cgi-bin/mainpage.pl