구독상품안내
4만 여 개의 과학 기사 중
‘컴퓨터증명’ 관련 기사가 총 3건이 검색되었습니다.
구분
연관 검색
교과
진로
연관 매체
기간
- ~
잡지 기사(3)
더보기
[knowledge] 지도를 4가지 색만으로 칠할 수 있을까
과학동아 | 2014년 12호일본 영화 '용의자 X의 헌신'에서 천재 물리학자 유카와 교수와 수학자 이시가미는 4색 문제를 논한다. 1852년 구드리가 제기한 이 문제는 평면 지도를 4가지 색으로만 색...
[엄상일 교수의 따끈따끈한 수학] 4색 정리의 응용판! 베크너의 문제
수학동아 | 2017년 10호4색 정리를 따른 베크너의 문제가 컴퓨터를 이용한 미국 수학자들의 연구로 해결되었다. 이후 덴마크 토마센 교수가 컴퓨터 없이 문제를 해결해 컴퓨터를 사용하지 않은 증...
수학 문제 증명했더니 그 크기가 무려 13GB?
수학동아 | 2014년 04호영국 리버풀대의 알렉세이 리시짜와 보리스 코네브가 에르도스 불일치 문제를 풀기 위한 증명을 발표했으며, 결과물은 13GB에 달하는 파일로, 컴퓨터를 이용한 수학 증명의...
상세 검색
구분
연관 검색
교과
진로
연관 매체
기간
- ~