æ•°ç†è«–ç†å¦ - Wikipediaæ•°ç†è«–ç†å¦ï¼ˆã™ã†ã‚Šã‚ã‚“ã‚ŠãŒãã€è‹±Â : mathematical logic）ã¾ãŸã¯ç¾ä»£è«–ç†å¦[1][2]ã€è¨˜å·è«–ç†å¦[1][2]ã€æ•°å¦åŸºç¤Žè«–[3]ã€è¶…æ•°å¦[4]ã¯ã€æ•°å¦ã®åˆ†é‡Žã®ä¸€ã¤ã§ã‚ã‚Š[4]ã€ã€Œæ•°å¦ã®ç†è«–を展開ã™ã‚‹éš›ã«ãã®éª¨æ ¼ã¨ãªã‚‹è«–ç†ã®æ§‹é€ ã‚’ç ”ç©¶ã™ã‚‹åˆ†é‡Žã€ã‚’指ã™[3][注 1]。数ç†è«–ç†å¦ï¼ˆæ•°å¦åŸºç¤Žè«–）ã¨å¯†æŽ¥ã«é–¢é€£ã—ã¦ã„る分野ã¨ã—ã¦ã¯è¨ˆç®—機科å¦ã€”コンピュータ科å¦ã€•[4]ã‚„ç†è«–計算機科å¦ãªã©ãŒã‚ã‚‹[注 2][注 3]。 æ•°ç†è«–ç†å¦ã®ä¸»ãªç›®çš„ã¯å½¢å¼è«–ç†ã®æ•°å¦ã¸ã®å¿œç”¨ã®æŽ¢æ±‚ã‚„æ•°å¦çš„ãªè§£æžãªã©ã§ã‚ã‚Šã€å…±é€šèª²é¡Œã¨ã—ã¦ã¯å½¢å¼ä½“ç³»ã®è¡¨ç¾åŠ›ã‚„å½¢å¼è¨¼æ˜Žç³»ã®æ¼”ç¹¹ã®èƒ½åŠ›ã®ç ”究ãŒå«ã¾ã‚Œã‚‹ã€‚ æ•°ç†è«–ç†å¦ã¯ã—ã°ã—ã°é›†åˆè«–ã€ãƒ¢ãƒ‡ãƒ«ç†è«–ã€å†å¸°ç†è«–ã€è¨¼æ˜Žè«–ã®4ã¤ã®é ˜åŸŸã«åˆ†é¡žã•ã‚Œã‚‹ã€‚ã“れらã®é ˜åŸŸã¯ãƒã‚¸ãƒƒã‚¯ã®ã¨ãã«ä¸€éšŽè¿°èªžè«–ç†ã‚„定義å¯èƒ½æ€§ã«é–¢ã™ã‚‹çµæžœã‚’共有ã—ã¦ã„る。計算機科å¦ï¼ˆã¨ãã«ACM Classification（英
{{#tags}}- {{label}}
{{/tags}}