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