¹ø¿ª   |   Ãâó   |   ºñ°í   |
---|---|---|
  ¸í»ç½Ä   |   kwang   |   ¼¼ú½Ä(predicate)Àº Âü/°ÅÁþÀ» ¼¼ú. ¸í»ç½Ä(term)Àº ´ë»ó¹°(¹°°Ç,°ª)µîÀ» Ç¥Çö.   |
  ³¹¸»   |   kwang   |   snu 664/05 20.tex ÁýÇÕÁ¦¾à½ÄºÐ¼®¿¡¼   |
determinisitc | °áÁ¤Àû |
non-deterministic | ºñ°áÁ¤Àû |
term | ³¹¸», ¸í»ç½Ä |