¹ø¿ª   |   Ãâó   |   ºñ°í   |
---|---|---|
  Á¶°ÇÀÚ   |   sicp   |     |
  ¼¼ú½Ä   |   kwang   |   Âü/°ÅÁþÀ» ÆǺ°ÇÏ´Â ½Ä   |
predicate | Á¶°ÇÀÚ, ¼¼ú½Ä |
predicate abstraction | Á¶°Ç½Ä ¿ä¾à, Á¶°Ç½ÄÀ» ÇϳªÀÇ º¯¼ö·Î ¿ä¾àÇϱâ |
predicate logic | ¼¼ú³í¸® |
term | ¸í»ç½Ä |