d라이브러리
"논리"(으)로 총 1,714건 검색되었습니다.
- [러셀 탐구생활] 포화 속에서 연구 이어간 스승과 제자수학동아 l2023년 08호
- ● 비트겐슈타인과의 강렬한 만남 ● 1911년 가을 영국 케임브리지대학교. 버트런드 러셀이 교수실에서 동료와 차를 마시던 중, 느닷 ... 곧바로 논리학에 대한 논의를 시작했습니다. 전쟁 기간 동안 비트겐슈타인이 집필한 를 출판하기 위한 둘의 노력이 시작됐습니다 ... ...
- 증명에 도전하는 이유는? ‘나도 할 수 있을 것 같다’는 자신감 때문수학동아 l2023년 07호
- 할 수 있을 것 같은데?’라는 단순한 생각으로 증명에 도전하기 시작했고, ‘증명하면서 논리적으로 생각하는 방법을 익힐 수 있었다’고 느낀점을 전했어요. 우리나라 최초로 피타고라스 정리의 새로운 증명법을 찾아 인정받은 수학자가 있는데요. 바로 박부성 경남대학교 수학교육과 교수입니다. ... ...
- [킹앤카] 찾았다, 우월 전략!수학동아 l2023년 07호
- ‘우월 전략 균형’이라고 하는데요. 그래서 여러분이 낯선 상황을 마주했을 때 문제를 논리적으로 해결하기 위한 우월 전략 균형 문제를 출제했습니다. 안녕하세요. KAIST 수학문제연구회에서 킹앤카 문제 출제를 담당하는 수학동아부 장지연, 김성진, 배윤오, 이 도희, 장규식, 정서윤, ... ...
- [러셀 탐구생활] 천재는 하나의 신화일 뿐이다수학동아 l2023년 07호
- 10년, 러셀에게 논리학은 철천지원수였습니다. 그러나 어린 시절부터 수학에 매료된 그는 논리학을 손에서 놓을 수 없었습니다. 정계로 진출할 기회가 있었지만, 영국 케임브리지대학교에서 ‘수학 기초론’ 강연을 맡지 않겠냐는 제안을 대신 수락했습니다. 그리하여 그해 가을, 러셀은 다시 ... ...
- 수학적 사고력이 쑥쑥! 두뇌퍼즐수학동아 l2023년 07호
- 논리력을 키우는 스도쿠와 문제해결력을 높이는 사고력 퍼즐, 공간지각능력을 향상시키는 공간 퍼즐까지! 에서만 만날 수 있는 고품격 퍼즐을 지금 바로 풀어보세요. ...
- [논문탐독] 시뮬레이션의 새로운 지평 '양자컴퓨터'과학동아 l2023년 07호
- 컴퓨터 시뮬레이션이 필수입니다. 너무 느린 알고리즘은 무의미하다 컴퓨터가 입력된 논리 연산을 수행할 때 요구하는 자원은 크게 두 가지입니다. 바로 시간과 공간이죠. 소수를 판별하는 유명한 알고리즘인 에라토스테네스의 체를 예로 들어보겠습니다. 컴퓨터에 101을 입력하면, 컴퓨터는 소수 ... ...
- [수학 상위1% 비밀무기] 대구과고 수학 1등 비결은? 시간단축 공략법수학동아 l2023년 07호
- 만들어지는 것 같아요. 어쩔 수 없이 답지를 볼 때는 그냥 답만 확인하는 것이 아니라 논리적으로 풀이 과정을 따라가면서 왜 이런 풀이가 나왔는지 생각해봐요. 또 다른 사람의 풀이 방법에 많은 관심을 가져요. 수학 시간에 한 문제를 두고 각자 어떻게 풀었는지 발표하는 시간이 있는데, 저는 그 ... ...
- 토론 1. 챗GPT, 학교에서 허용해도 될까?수학동아 l2023년 06호
- 단점이 있더라도 그것을 메울 수 있는 장점이 있다는 논리는 교육 문제에선 좋은 논리가 아니라고 생각해요. 단점이 사소해보여도 챗GPT로 교육받은 사람이 미래 사회로 나갔을 때 그 단점이 사회문제로 발전할 수도 있어요. 여기에 대해 어떻게 생각하세요? 교육에선 어떤 단점이 있는지를 중점으로 ... ...
- [Reth?king] 2000년 유클리드 기하학 체계에서 새로운 기하학은 어떻게 탄생했을까?수학동아 l2023년 06호
- 이전 것에서부터 다음 것을 증명해 나가면서 총 465개의 명제를 연역적으로 꿰어낸 논리적 아름다움이 있어요. 수학자 : 에우클레이데스가 활동했을 때로부터 무려 2000년이 넘도록 서구 문명에서는 계속해서 을 공부했나요? 인문학자 : 네, 맞아요. 에우클레이데스가 기원전 3세기쯤 을 ... ...
- [프로그래밍 언어의 역사] 인간은 실수없이 기계와 대화하고 싶어서과학동아 l2023년 06호
- 람다 계산법에 뿌리를 둔 함수형 프로그래밍 언어는 논리학의 성과를 적극 수용했다. 논리학에서 명제를 치밀하고 탄탄하게 증명하는 방법을 프로그래밍 언어에 녹였다. 그 결과 오캐믈, 하스켈과 같이 함수형 언어는 믿을 만한 타입 검사 시스템이 구현돼 안전하다. 전문가들이 ‘좋은’ 언어라고 ... ...
이전123456789 다음
