トップページ⇒math

1001コメント392KB

数学基礎論・数理論理学　その9

■ このスレッドは過去ログ倉庫に格納されています

0771１３２人目の素数さん

2011/10/26(水) 20:55:10.57

述語Pに最小化を施す関数 μy［P(x,y)］に対応する論理式って何でしょうか？

■ このスレッドは過去ログ倉庫に格納されています