¹Ýµð¾Ø·ç´Ï½º ÀÎÅͳݼ­Á¡

³×ºñ°ÔÀÌ¼Ç ½Ç½Ã°£ Àαâ Ã¥

    ±â°è ÇнÀÀ» ´Ù½Ã ¹¯´Ù

    ±â°è ÇнÀÀ» ´Ù½Ã ¹¯´Ù Æ©¸µ»ó ¼ö»ó ¼®ÇÐÀÌ 40³â ¿¬±¸·Î Á¦½ÃÇÏ´Â ±â°è ÇнÀ¿¡ ´ëÇÑ ±Ùº»Àû °üÁ¡

    • ·¹½½¸® ¹ë¸®¾ðÆ® Àú
    • À̱¤±Ù ¿ª
    • ÀλçÀÌÆ®
    • 2021³â 11¿ù 01ÀÏ
    • Á¤°¡
      18,000¿ø
    • ÆÇ¸Å°¡
      16,200¿ø [10% ÇÒÀÎ]
    • °áÁ¦ ÇýÅÃ
      ¹«ÀÌÀÚ
    • Àû¸³±Ý
      900¿ø Àû¸³ [5%P]

      NAVER Pay °áÁ¦ ½Ã ³×À̹öÆäÀÌ Æ÷ÀÎÆ® 5% Àû¸³ ?

    • ¹è¼Û±¸ºÐ
      ¾÷ü¹è¼Û(¹ÝµðºÏ)
    • ¹è¼Û·á
      ¹«·á¹è¼Û
    • Ãâ°í¿¹Á¤ÀÏ

      Ãâ°í¿¹Á¤ÀÏ ¾È³»

      ¡Ø Ãâ°í¿¹Á¤ÀÏÀº µµ¼­ Àç°í»óȲ¿¡ µû¶ó º¯µ¿µÉ ¼ö ÀÖ½À´Ï´Ù.

      close

      2026³â 04¿ù 10ÀÏ(±Ý)

      ¡Ø Ãâ°í¿¹Á¤ÀÏÀº µµ¼­ Àç°í»óȲ¿¡ µû¶ó º¯µ¿µÉ ¼ö ÀÖ½À´Ï´Ù.

    ¼ö·®
    ȸ¿ø¸®ºä
    - [0]
    ISBN: 9788966263264 332ÂÊ 152 x 225 (§®)

    ÀÌ ºÐ¾ßÀÇ º£½ºÆ®¼¿·¯

    ÃâÆÇ»ç ¸®ºä


    ÀúÀÚ ¼Ò°³

    ·¹½½¸® ¹ë¸®¾ðÆ®

    ÀúÀÚ : ·¹½½¸® ¹ë¸®¾ðÆ®
    ÇϹöµå´ëÇÐ ÄÄÇ»ÅͰúÇÐ ¹× ÀÀ¿ë¼öÇÐÀÇ Á¦ÆÛ½¼ Äð¸®Áö(T. Jefferson Coolidge) ±³¼ö´Ù. ¿µ±¹ ¿Õ¸³ÇÐȸ¿Í ¹Ì±¹ °úÇÐÇмú¿ø ȸ¿øÀÌ´Ù. ±¹Á¦ ¼öÇÐ ¿¬¸Í¿¡¼­ ¼ö¿©ÇÏ´Â ³×¹Ý¸°³ª»ó(Nevanlinna Prize)À» ¹Þ¾Ò°í, 40¿© ³â°£ ±â°è ÇнÀ ºÐ¾ß ¿¬±¸¿¡ ±â¿©ÇÑ °ø·Î·Î ÄÄÇ»ÅͰúÇÐÀÇ ³ëº§»óÀ̶ó ÇÒ Æ©¸µ»ó(Turing Award)À» ¼ö»óÇß´Ù.
    Àú¼­: Circuits of the Mind. Oxford University Press. 1994, 2000.

    ¿ªÀÚ : À̱¤±Ù
    ÇöÀç ¼­¿ï´ëÇб³ ÄÄÇ»ÅͰøÇкΠ±³¼ö. KAIST Àü»êÇаú ±³¼ö ¿ªÀÓ. ±³À°°úÇбâ¼úºÎ ÁöÁ¤ ¼±µµ¿¬±¸¼¾ÅÍ ¼¾ÅÍÀå, °úÇбâ¼úºÎ ÁöÁ¤ âÀÇ¿¬±¸´Ü ´ÜÀå ¿ªÀÓ. Bell Labs-Software Principles Research Department Á¤±Ô ¿¬±¸¿ø ¿ªÀÓ. MIT, Stanford, CMU, ÆÄ¸® °íµî»ç¹üÇб³(ENS Paris) ¹æ¹®±³¼ö, Facebook Research Scientist ¿ªÀÓ.
    Àú¼­: Introduction to Static Analysis. MIT Press. 2020.
    ÄÄÇ»ÅͰúÇÐÀÌ ¿©´Â ¼¼°è. ÀλçÀÌÆ®. 2015.

    ¸ñÂ÷

    1Àå ¿¡ÄÚ¸®Áò

    2Àå ¿¹Ãø°ú ÀûÀÀ

    3Àå °è»ê °¡´ÉÇÔÀ̶õ
    3.1 Æ©¸µÀÇ ÆÐ·¯´ÙÀÓ
    3.2 ±úÁöÁö ¾ÊÀº ±â°è °è»ê ¸ðµ¨
    3.3 °è»ê ¹ýÄ¢ÀÇ Æ¯¼º
    3.4 Çö½ÇÀûÀÎ ½Ã°£ÀÌ µå´Â °è»ê
    3.5 ¸Â´Ú¶ß¸± ¼ö ÀÖ´Â ±Ã±ØÀÇ ÇѰè
    3.6 º¹ÀâÇÑ ÇൿÀ» ÇÏ´Â °£´ÜÇÑ ¾Ë°í¸®Áòµé
    3.7 ÆÛ¼ÁÆ®·Ð ¾Ë°í¸®Áò

    4Àå ÀÚ¿¬ÀÇ ±â°èÀûÀÎ ¼³¸í

    5Àå ÇнÀ °¡´ÉÇÔÀ̶õ
    5.1 ÀÎÁö¿¡ ´ëÇØ
    5.2 ÀδöÀÇ ¹®Á¦¿Í °¡´É¼º
    5.3 ÀδöÀÇ °úÇÐÀûÀÎ ¼³¸í: Ç׾Ƹ® ¿¹
    5.4 Àδö ¿À·ùÀÇ °ü¸®
    5.5 ¾óÃß°ÅÀǸ±â ÇнÀ °¡´É¼ºÀ» ÇâÇÏ¿©
    5.6 ¾óÃß°ÅÀǸ±â ÇнÀ °¡´É¼º
    5.7 ¿ÀÄÄ ¹æ½ÄÀ¸·Î ÇнÀ °á°ú °¨º°Çϱâ
    5.8 ÇнÀÀÇ ÇѰè´Â ÀÖÀ»±î?
    5.9 ¹è¿ì±â¿Í °¡¸£Ä¡±â
    5.10 ¹è¿ï ¼ö ÀÖ´Â ¸ñÇ¥¸¦ ÁÀ´Â ´É·Â
    5.11 ¾óÃß°ÅÀǸ±â ÇнÀ, ÀÎÁöÀÇ ±âº»

    6Àå ÁøÈ­ °¡´ÉÇÔÀ̶õ
    6.1 ºóÆ´ÀÌ ÀÖ´Ù
    6.2 ±× ºóÆ´À» ¸Þ²Ü ¹æ¹ý
    6.3 ÁøÈ­¿¡ ¸ñÇ¥°¡ ÀÖ´Ù?
    6.4 ÁøÈ­ÇÒ ¼ö ÀÖ´Â ¸ñÇ¥¸¦ ÁÀ´Â ´É·Â
    6.5 ÁøÈ­ ´ë ÇнÀ
    6.6 ÁøÈ­´Â ÇнÀÀÇ ÇÑ ÇüÅÂ
    6.7 ÁøÈ­ °¡´É¼ºÀÇ Á¤ÀÇ
    6.8 ¹üÀ§¿Í ÇѰè
    6.9 ½Ç¼ö °ªÀ» µ¿¿øÇÏ´Â ÁøÈ­
    6.10 ÀÌ ÀÌ·ÐÀÌ ´Ù¸¥ Á¡

    7Àå µð´ö °¡´ÉÇÔÀ̶õ
    7.1 ÀÌÄ¡ µûÁö±â
    7.2 ±Ù°Å ¾øÀ̵µ ÇØ¾ß ÇÒ ÀÌÄ¡ µûÁö±â
    7.3 °è»êÀÇ º® ±Øº¹Çϱâ
    7.4 À¶Å뼺 ¾øÀÌ ½±°Ô ºÎ¼­Áö´Â ¹®Á¦ ±Øº¹Çϱâ
    7.5 ¶æ Á¤Çϱ⠾ָÅÇÔ ±Øº¹Çϱâ
    7.6 ´ë»ó Á¤Çϱ⠾î·Á¿ò ±Øº¹Çϱâ
    7.7 ¸¶À½ÀÇ ´«: ¼¼°è¸¦ º¸´Â ¹Ù´Ã±¸¸Û
    7.8 ưư ³í¸®: ¾Ë ¼ö ¾ø´Â ¼¼°è¿¡¼­ ÀÌÄ¡ µûÁö±â
    7.9 »ý°¢ °úÁ¤

    8Àå ¿¡ÄÚ¸®ÁòÀ¸·Î¼­ÀÇ Àΰ£
    8.1 µé¾î°¡¸ç
    8.2 Ÿ°í³­ °Å³Ä ±æ·¯Áø °Å³Ä
    8.3 ¼øÁøÇÔ
    8.4 Æí°ß°ú ¼º±ÞÇÑ ÆÇ´Ü
    8.5 °¢ÀÚ ¸¸µç Áø½Ç
    8.6 °¢ÀÚÀÇ ´À³¦
    8.7 À̼ºÀ̶ó´Â ȯ»ó
    8.8 ±â°èÀÇ µµ¿òÀ» ¹Þ´Â Àΰ£
    8.9 ¹¹°¡ ´õ ÀÖÀ»±î?

    9Àå ¿¡ÄÚ¸®ÁòÀ¸·Î¼­ÀÇ ±â°è
    9.1 µé¾î°¡¸ç
    9.2 ±â°è ÇнÀ
    9.3 ÀΰøÁö´É - ¾î·Á¿î ÀÌÀ¯?
    9.4 ÀΰøÁö´É¿¡¼­ ÀΰøÀûÀÎ °Í
    9.5 µ¶ÇÐÀ¸·Î ÇнÀÇϱâ
    9.6 ÀΰøÁö´É - ´ÙÀ½Àº ¾îµð?
    9.7 ÀΰøÁö´ÉÀ» µÎ·Á¿öÇØ¾ß ÇÒ±î?

    10Àå Áú¹®µé
    10.1 °úÇÐ
    10.2 ¿¡ÄÚ¸®Áò ¹æ½ÄÀÌ ´õ ±í¾îÁö´Â ¹Ì·¡
    10.3 Çൿ ¿ä·É
    10.4 ½Åºñ

    ¹è¼Û ½Ã À¯ÀÇ»çÇ×

    - ¹Ýµð¾Ø·ç´Ï½º¿¡¼­ ±¸¸ÅÇϽеµ¼­´Â ¹°·ù ´ëÇà À§Å¹¾÷ü ¿õÁø ºÏ¼¾À» ÅëÇØ ¹è¼ÛµË´Ï´Ù.
     (¹è¼Û Æ÷Àå¿¡ "¿õÁø ºÏ¼¾"À¸·Î Ç¥±âµÉ ¼ö ÀÖ½À´Ï´Ù.)

    - ±¸¸ÅÇÑ »óǰÀÇ Ç°Áú°ú ¹è¼Û °ü·Ã ¹®ÀÇ´Â ¹Ýµð¾Ø·ç´Ï½º·Î ¹®ÀÇ ¹Ù¶ø´Ï´Ù.

    - õÀçÁöº¯ ¹× Åùè»çÀÇ »çÁ¤¿¡ µû¶ó ¹è¼ÛÀÌ Áö¿¬µÉ ¼ö ÀÖ½À´Ï´Ù.

    - °áÁ¦(ÀÔ±Ý) ¿Ï·á ÈÄ ÃâÆÇ»ç ¹× À¯Åë»çÀÇ »çÁ¤À¸·Î ǰÀý ¶Ç´Â ÀýÆÇ µÇ¾î »óǰ ±¸ÀÔÀÌ ¾î·Á¿ï ¼ö ÀÖ½À´Ï´Ù. (º°µµ ¾È³» ¿¹Á¤)

    - µµ¼­»ê°£Áö¿ªÀÇ °æ¿ì Ãß°¡ ¹è¼Ûºñ°¡ ¹ß»ýµÉ ¼ö ÀÖ½À´Ï´Ù.

    ¹Ýǰ/±³È¯

    »óǰ ¼³¸í¿¡ ¹Ýǰ/ ±³È¯ °ü·ÃÇÑ ¾È³»°¡ ÀÖ´Â °æ¿ì ±× ³»¿ëÀ» ¿ì¼±À¸·Î ÇÕ´Ï´Ù. (¾÷ü »çÁ¤¿¡ µû¶ó ´Þ¶óÁú ¼ö ÀÖ½À´Ï´Ù)

    ¹Ýǰ/±³È¯

    ¹Ýǰ/±³È¯
    ¹Ýǰ/±³È¯ ¹æ¹ý Ȩ > °í°´¼¾ÅÍ > ÀÚÁÖã´ÂÁú¹® ¡°¹Ýǰ/±³È¯/ȯºÒ¡± ¾È³» Âü°í ¶Ç´Â 1:1»ó´ã°Ô½ÃÆÇ
    ¹Ýǰ/±³È¯ °¡´É ±â°£ ¹Ýǰ,±³È¯Àº ¹è¼Û¿Ï·á ÈÄ 7ÀÏ À̳», »óǰÀÇ °áÇÔ ¹× °è¾à³»¿ë°ú ´Ù¸¦ °æ¿ì ¹®Á¦¹ß°ß ÈÄ 30ÀÏ À̳»¿¡ ½Åû°¡´É
    ¹Ýǰ/±³È¯ ºñ¿ë º¯½É ȤÀº ±¸¸ÅÂø¿ÀÀÇ °æ¿ì¿¡¸¸ ¹Ý¼Û·á °í°´ ºÎ´ã(º°µµ ÁöÁ¤ Åùè»ç ¾øÀ½)
    ¹Ýǰ/±³È¯ ºÒ°¡ »çÀ¯
    • ¼ÒºñÀÚÀÇ Ã¥ÀÓ »çÀ¯·Î »óǰ µîÀÌ ¼Õ½Ç ¶Ç´Â ÈÑ¼ÕµÈ °æ¿ì
    • ¼ÒºñÀÚÀÇ »ç¿ë, Æ÷Àå °³ºÀ¿¡ ÀÇÇØ »óǰ µîÀÇ °¡Ä¡°¡ ÇöÀúÈ÷ °¨¼ÒÇÑ °æ¿ì
    • º¹Á¦°¡ °¡´ÉÇÑ »óǰ µîÀÇ Æ÷ÀåÀ» ÈѼÕÇÑ °æ¿ì : ¿¹)¸¸È­Ã¥, ÀâÁö, È­º¸Áý µî
    • ½Ã°£ÀÇ °æ°ú¿¡ ÀÇÇØ ÀçÆÇ¸Å°¡ °ï¶õÇÑ Á¤µµ·Î °¡Ä¡°¡ ÇöÀúÈ÷ °¨¼ÒÇÑ °æ¿ì
    • ÀüÀÚ»ó°Å·¡µî¿¡¼­ÀÇ ¼ÒºñÀÚº¸È£¿¡ °üÇÑ ¹ý·üÀÌ Á¤ÇÏ´Â ¼ÒºñÀÚ Ã»¾àöȸ Á¦ÇÑ ³»¿ë¿¡ ÇØ´çµÇ´Â °æ¿ì
    • ÇØ¿ÜÁÖ¹® »óǰ(ÇØ¿Ü ¿ø¼­)ÀÇ °æ¿ì(ÆÄº»/ÈѼÕ/¿À¹ß¼Û »óǰÀ» Á¦¿Ü)
    ¼ÒºñÀÚ ÇÇÇØº¸»ó
    ȯºÒÁö¿¬¿¡ µû¸¥ ¹è»ó
    • »óǰÀÇ ºÒ·®¿¡ ÀÇÇÑ ¹Ýǰ, ±³È¯, A/S, ȯºÒ, ǰÁúº¸Áõ ¹× ÇÇÇØº¸»ó µî¿¡ °üÇÑ »çÇ×Àº
      ¼ÒºñÀÚ ºÐÀïÇØ°á ±âÁØ(°øÁ¤°Å·¡À§¿øÈ¸°í½Ã)¿¡ ÁØÇÏ¿© 󸮵Ê
    • ´ë±Ý ȯºÒ ¹× ȯºÒÁö¿¬¿¡ µû¸¥ ¹è»ó±Ý Áö±Þ Á¶°Ç, ÀýÂ÷ µîÀº ÀüÀÚ»ó°Å·¡ µî¿¡¼­ÀÇ
      ¼ÒºñÀÚ º¸È£¿¡ °üÇÑ ¹ý·ü¿¡ µû¶ó ó¸®ÇÔ
    ¹Ýǰ/±³È¯ ÁÖ¼Ò °æ±âµµ ÆÄÁֽà ¹®¹ß·Î 77, ¿õÁøºÏ¼¾(¹Ýµð¾Ø·ç´Ï½º)
    • ȸ»ç¸í : (ÁÖ)¼­¿ï¹®°í
    • ´ëÇ¥ÀÌ»ç : ±èÈ«±¸
    • °³ÀÎÁ¤º¸ º¸È£Ã¥ÀÓÀÚ : ±èÈ«±¸
    • E-mail : bandi_cs@bnl.co.kr
    • ¼ÒÀçÁö : (06168) ¼­¿ï °­³²±¸ »ï¼º·Î 96±æ 6
    • »ç¾÷ÀÚ µî·Ï¹øÈ£ : 120-81-02543
    • Åë½ÅÆÇ¸Å¾÷ ½Å°í¹øÈ£ : Á¦2023-¼­¿ï°­³²-03728È£
    • ¹°·ù¼¾ÅÍ : (10881) °æ±âµµ ÆÄÁֽà ¹®¹ß·Î 77 ¹Ýµð¾Ø·ç´Ï½º
    copyright (c) 2016 BANDI&LUNI'S All Rights Reserved