【學苑】 › 【資訊與通信術語辭典】 › 【滿足性問題】

豐碩 發表於 2012-11-9 03:13:51

【滿足性問題】

<P align=center><STRONG><FONT size=5>【<FONT color=red>滿足性問題</FONT>】</FONT></STRONG></P>&nbsp;<P><STRONG>英語翻譯：satisfiabilityproblem</STRONG></P>
<P><STRONG></STRONG>&nbsp;</P>
<P><STRONG>【辭書名稱】資訊與通信術語辭典</STRONG></P>
<P><STRONG></STRONG>&nbsp;</P>
<P><STRONG>給定一個布林表示式E，判斷是否在給這個布林表示式的變數指定後，此式E會為真。</STRONG></P>
<P><STRONG></STRONG>&nbsp;</P>
<P><STRONG></STRONG>&nbsp;</P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary

查看完整版本: 【滿足性問題】