d라이브러리
"논리"(으)로 총 1,714건 검색되었습니다.
- [역설 나라의 앨리스] 제7장. 컴퓨터의 탄생수학동아 2022년 07호
- 운전하기보다 훨씬 쉽게 느껴집니다. 그러나 튜링은 정지 문제를 푸는 프로그램은 논리적으로 존재할 수 없음을 보였습니다. 모든 명제가 증명 가능한지 기계적으로 판별하는 것이 가능하다면 ‘프로그램 P(x)는 정상적으로 종료한다’라는 명제 역시 P(x)가 정상적으로 종료하는지 판별할 수 ... ...
- [특집] 블록체인, 불평등을 불러온다과학동아 2022년 07호
- 이르러서야 대부분이 사라졌다. 인종·젠더·계급·세대·지역을 넘나들며 불평등한 지배 논리는 기술의 디자인과 설계에 깊이 관여하고 있다. 블록체인에서도 마찬가지다. 블록체인의 설계와 디자인에 새겨진 기술의 사회적 코드는 ‘극소수만이 돈 벌 수 있는 신자유주의 사회 구조’다. 여기에 ... ...
- [기획] 떠난 자리에 남은 사람들과학동아 2022년 07호
- 하며 여지를 남겼죠.” 그렇게 원전 MMIS 전문가들은 하나둘 다른 분야로 떠나갔다.시장 논리 혹은 기술적 한계에 의해 산업이 막다른 골목에 다다른 것이 아니었다. 원전 생태계 속 사람들은 에너지 정책 변화로 이직, 전직 등을 결정했다. “저희는 소프트웨어 기업이니 인력을 유지하는 비용만 ... ...
- [수학체험실] 밀어 밀어~ 나만의 슬라이딩 퍼즐 만들기!어린이수학동아 2022년 05호
- 퍼즐 조각을 밀어서 모양을 맞추는 슬라이딩 퍼즐! 엉뚱한 곳에 있는 퍼즐 조각을 제자리에 놓으려면 이리저리 조각을 밀어야 하지요. 이번엔 금손 기자와 함께 슬라이딩 퍼즐을 만들어 봐요. 내가 좋아하는 그림으로 세상에 단 하나뿐인 슬라이딩 퍼즐을 뚝딱 만들 수 있어요! 스르륵~ 밀다 보니 ... ...
- [특집] 문체의 매력에 퐁당! 러셀 책방수학동아 2022년 05호
- 시작됐습니다. 당연한 것을 당연하게 받아들이지 않는 그의 사고는 수학과 철학을 논리 위에 세우고, 전쟁과 핵을 반대하는 운동을 할 수 있는 힘이었어요. 가슴이 뜨거웠던 프로N잡러 러셀의 삶을 돌아보며 내가 당연하게 여기는 것에 대해 돌이켜 생각해 보면 어떨까요 ... ...
- [제24회 전국학생 통계활용대회] 우린 통하는게 있어, 통계로 통하는 우리 사이수학동아 2022년 05호
- 바탕으로 한 통계 예측은 미래를 보다 정확하게 예측하지요. 통계는 자신의 의견을 논리적으로 전달하는 데에도 도움이 돼요. 설득력 있는 주장을 위해선 근거가 필요한데, 통계 자료는 누구나 납득할 수 있는 근거로 좋은 역할을 하지요. 따라서 통계를 활용하는 법을 꼭 알아야 한답니다 ... ...
- [주니어 폴리매스] 폴리매스 어셈블!수학동아 2022년 05호
- 있는 거겠죠. 많은 사람이 수학의 매력으로 ‘항상 완벽하게 100% 맞거나 틀린 깔끔한 논리구조’와 ‘어려운 문제를 해결할 때의 쾌감’을 꼽는데요. 저는 완벽하게 증명이 끝나기 전까지 답을 알 수 없고, 직관과는 다른 결과가 나타나는 변칙적인 부분이 수학의 매력 중 하나라고 생각합니다 ... ...
- [특집] 탄생 150주년 기념, 프로N잡러 버트런드 러셀수학동아 2022년 05호
- . [특집] 사회운동가 러셀 모두가 평화로운 세상을!Part2. [특집] 수학자 러셀 수학을 논리 위에 세우다Part3. [특집] 작가&철학자 러셀 생각을 글로 표현한 지식인Part4. [특집] 문체의 매력에 퐁당! 러셀 ... ...
- [특집] 수학자 러셀 수학을 논리 위에 세우다수학동아 2022년 05호
- 러셀이 첫 번째로 가진 직업은 수학자예요. 24살의 어린 나이에 대학교 수학과의 선임 연구원이 되어 연구와 강의를 이어 가게 되지요. 그런데 러셀이 수 ... 탄탄히 다졌습니다. 또 언어적 모호함을 배제한 기호 사용은 현재 프로그래밍 언어에서 논리적 모순을 찾는 데 많이 활용한답니다 ... ...
- [역설 나라의 앨리스] 제5장. 힐베르트의 도전수학동아 2022년 05호
- 1차 논리에서는 ‘모든 x가 치킨을 좋아한다’라는 명제가 허용됩니다. 안타깝게도 1차 논리는 너무 단순하기 때문에 자연수를 가장 기초 개념으로 보고 수학의 개념을 확장해 나가는 자연수 이론을 구성할 수 없어요. 그러나 많은 수학자는 완전성 정리를 발판 삼아 자연수 이론까지 구성할 수 ... ...
